ppxscal/embedding_network huggingface dataset:
Correction to “stochastic comparisons of parallel systems when components have proportional hazard rates”
Authors: Subhash Kochar, Maochao Xu
Venue: Probability in the Engineering and Informational Sciences (2008)

In our article [3] we have found a gap in the middle of the proof of Theorem 3.2. Therefore, we do not know whether Theorem 3.2 is true for the reverse hazard rate order. However, we could prove the following weaker result for the stochastic order.
Transforming Security Requirements into Architecture
Authors: Koen Yskout, Riccardo Scandariato, Bart De Win, Wouter Joosen
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Automation is a very promising technique to reduce the chances of flaws happening downstream the software production line. In this context, a very challenging problem is the transformation of requirements to software architectures. The challenge is even more crucial for quality requirements, as they represent the main driver of an architecture. This paper is an initial attempt to provide an approach that supports the transition from requirements to architecture for software security: a quality of ever growing importance in today’s world.
Efl and hypertext: using webquests to maximize english teaching
Authors: Madson G. Diniz
Venue: Proceedings of the nineteenth ACM conference on Hypertext and hypermedia (2008)

WebQuests have been used as a potential tool in the Educational field. As a technological integrated strategy, students are challenged to think critically and use colloborative learning as a powerful instrument to discover/create knowledge. How can webquests enhance English as a Foreign Language (EFL) students' learning and motivation? WebQuest principles and guidelines will be presented.
Exploring folksonomy for personalized search
Authors: Shengliang Xu, Shenghua Bao, Ben Fei, Zhong Su, Yong Yu
Venue: Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval (2008)

As a social service in Web 2.0, folksonomy provides the users the ability to save and organize their bookmarks online with "social annotations" or "tags". Social annotations are high quality descriptors of the web pages' topics as well as good indicators of web users' interests. We propose a personalized search framework to utilize folksonomy for personalized search. Specifically, three properties of folksonomy, namely the categorization, keyword, and structure property, are explored. In the framework, the rank of a web page is decided not only by the term matching between the query and the web page's content but also by the topic matching between the user's interests and the web page's topics. In the evaluation, we propose an automatic evaluation framework based on folksonomy data, which is able to help lighten the common high cost in personalized search evaluations. A series of experiments are conducted using two heterogeneous data sets, one crawled from Del.icio.us and the other from Dogear. Extensive experimental results show that our personalized search approach can significantly improve the search quality.
A model-based approach to evaluation of the efficacy of FEC coding in combating network packet losses
Authors: Xunqi Yu, James W. Modestino, Ragip Kurceren, Yee Sin Chan
Venue: IEEE/ACM Transactions on Networking (TON) (2008)

We propose a model-based analytic approach for evaluating the overall efficacy of FEC coding combined with interleaving in combating packet losses in IP networks. In particular, by modeling the network path in terms of a single bottleneck node, described as a G/M/1/K queue, we develop a recursive procedure for the exact evaluation of the packet-loss statistics for general arrival processes, based on the framework originally introduced by Cidon et al., 1993. To include the effects of interleaving, we incorporate a discrete-time Markov chain (DTMC) into our analytic framework. We study both single-session and multiple-session scenarios, and provide a simple algorithm for the more complicated multiple-session scenario. We show that the unified approach provides an integrated framework for exploring the tradeoffs between the key coding parameters; specifically, interleaving depths, channel coding rates and block lengths. The approach facilitates the selection of optimal coding strategies for different multimedia applications with various user quality-of-service (QoS) requirements and system constraints. We also provide an information-theoretic bound on the performance achievable with FEC coding in IP networks.
Towards Autonomic GIPSY
Authors: Emil Vassev, Joey Paquet
Venue: Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (2008)

The goal of the autonomic GIPSY (AGIPSY) is to make the General Intensional Programming System (GIPSY) capable of self-managing to a far greater extent than it does it now. This paper presents the AGIPSY architecture for autonomic computing based on multiple interacting autonomic GIPSY nodes (GNs). Moreover, we illustrate how this architecture realizes a number of desired aspects of autonomic computing, including goal-driven self-protection, self-healing, self-optimization, and self-configuration. We then present the autonomic architecture for GNs, these being the autonomic elements of the AGIPSY. In this paper, we do not talk about implementation aspects and test results, since these are going to be tackled by our ongoing research and described in another paper.
A Metric for Assessing the Error Tolerance of Tile Sets for Punctured DNA Self-Assemblies
Authors: Masoud Hashempour, Zahra Mashreghian Arani, Fabrizio Lombardi
Venue: Proceedings of the 26th IEEE VLSI Test Symposium (2008)

This paper presents a novel metric by which the effectiveness of punctures (as corrective action for error tolerance) can be assessed with respect to tile sets for DNA selfassembly in nano-manufacturing. Initially, the conditions for correct binding of a tile to an existing aggregate are analyzed using a Markovian approach; based on this analysis, it is proved that correct aggregation (as identified with a so-called Ideal Tile Set) is not always met for existing tile sets for nano-manufacturing. Hence, a metric is proposed for assessing tile sets by utilizing punctures. Tile sets are investigated and assessed with respect to features such error(mismatched tile) movement, punctured area and bondtypes. Subsequently, it is shown that the proposed metriccan comprehensively assess the effectiveness of a type of apuncture for a tile set and its capability to attain error tolerance for the desired pattern. Extensive simulation results are provided.
Alternating subgroups of Coxeter groups
Authors: Francesco Brenti, Victor Reiner, Yuval Roichman
Venue: Journal of Combinatorial Theory Series A (2008)

We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.
Proceedings of the 13th ACM symposium on Access control models and technologies
Venue: Symposium on Access Control Models and Technologies (2008)

It is our great pleasure to welcome you to the 13th ACM Symposium on Access Control Models and Technologies (SACMAT 2008). This year's symposium continues its tradition of being the premier forum for presentation of research results on leading edge issues of access control, including models, systems, applications, and theory. The call for papers attracted 79 submissions from 24 countries in Africa, Asia, Australia, Europe, North America, and South America. Each submission was reviewed by at least three reviewers who are experts in the field. Furthermore, extensive online discussions took place in making the selections for the symposium. The program committee selected 20 papers that cover a variety of topics, including role mining, workflow access control, access control in distributed environments, policy analysis and visualization, implementations issues in role based access control, usage control, obligations, integrity measurement, and attestation. The program also includes a keynote address and two panels.
Robust Analog Design for Automotive Applications by Design Centering with Safe Operating Areas
Authors: Udo Sobe, Karl-Heinz Rooch, Andreas Ripp, Michael Pronath
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

The effects of random variations during the manufacturing process can be simulated as a variation of transistor parameters. Device degradation, due to temperature or voltage stress, causes a shift of device parameters, for example, threshold voltage Vth, which can also be modeled as a degradation of transistor parameters. Therefore, in order to design circuits, which are robust and reliable, analysis and optimization of their sensitivities to variations in model parameters is important. Furthermore, constraints on the operating regions and voltage differences of transistors are used in order to keep operating points stable over a large temperature range. In this work, using two circuits for automotive applications and current process development kits (PDK), we show how design centering software can be used to consider both sensitivity reduction towards model parameter variation and constraints to control safe operating areas (SOA). Beyond that a comparison of the Constraint matrix method with two established methods of SOA checking is done.
Decision support for sustainable option selection in integrated urban water management
Authors: C. K. Makropoulos, K. Natsis, S. Liu, K. Mittas, D. Butler
Venue: Environmental Modelling Software (2008)

Conventional urban water management practices aim to meet water supply-demands while conveying wastewater and stormwater away from urban settings. Alternative approaches which consider water demands to be manageable and wastewater and stormwater as valuable resources, although being increasingly sought, lack reliable site specific implementation methodologies. This paper describes the development of a decision support tool (termed the Urban Water Optioneering Tool (UWOT)) to facilitate the selection of combinations of water saving strategies and technologies and to support the delivery of integrated, sustainable water management for new developments. The tool is based on a water balance model which allows the investigation of interactions between the major urban water cycle streams. The model is informed by a knowledge library which is populated with technological options and information on their major characteristics and performance. The technology selection is driven by a GA algorithm allowing efficient exploration of the decision space. Quantitative and qualitative sustainability criteria and indicators are used to compare between alternative composite water management strategies while preserving the multiobjective nature of the problem. The tool has been successfully tested on a case study site in the UK, and the results are presented and discussed. It is suggested that ''optioneering'' tools will increasingly become part of urban water management planning toolkits as practice moves towards more decentralised, integrated, context-specific solutions to address issues of sustainability.
Flexible Reactive Capabilities in Component-Based Autonomic Systems
Authors: Jayaprakash Nagapraveen, Thierry Coupaye, Christine Collet, Pierre-Charles David
Venue: Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (2008)

Reactive behaviour, the ability to (re)act automatically to perform corrective actions in response to the occurrence of situations of interest (events) is a key feature of autonomic computing. In active database systems, this behaviour is incorporated by Event-Condition-Action (or active) rules. Our approach consists in defining mechanisms for their integration in component-based systems to augment them with autonomic properties. The contribution of this article is twofold. Firstly, we propose a rule model, composed of a rule definition model and a rule execution model. Secondly, we propose an architecture for the integration of active rules into component-based systems in which the rules as well as their semantics (execution model, behaviour) are represented/implemented as components, which permits i) to construct personalized rule-based systems and ii) to dynamically modify them and their semantics in the same manner as the underlying system. These foundations form the basis of a framework which can be seen as a library of components to construct the various active mechanisms. Further, the framework is extensible: additional components can be added at will to the library to render elaborate and specific semantics according to application requirements.
QoS and multipath routing in vehicular network
Authors: Christian Lazo Ramírez, Sandra Céspedes Umaña, Manuel Fernández Veiga
Venue: Proceedings of the 2007 Euro American conference on Telematics and information systems (2007)

The Vehicular Ad-hoc NETworks (VANET) consist of a spontaneous association of a group of vehicles with wireless connection, they move and dynamically change their positions, exchanging data between each other. These networks were thinking as autonomous network segments with flat addressing schemes, however, its study has shown the benefits obtained by interconnecting them to fixed network segments and Internet. This article will revise by means of using a simulation tool, the global improvements in QoS network metrics, achieved through the use of a mutipath routing protocol. The model has a fixed network segment (Internet), two reactive gateways and two IPv6 VANET hierarchical network segements, whose nodes show a high degree of mobility, such as vehicles in an urban environment.
EVOLVING NEURAL-SYMBOLIC SYSTEMS GUIDED BY ADAPTIVE TRAINING SCHEMES: APPLICATIONS IN FINANCE
Authors: Athanasios Tsakonas, Georgios Dounias
Venue: Applied Artificial Intelligence (2007)

The article presents a hybrid and adaptive intelligent methodology, based on neural logic networks and grammar-guided genetic programming. The aim of the study is to demonstrate how to generate efficient neural logic networks with the aid of genetic programming methods trained adaptively through an innovative scheme. The proposed adaptive training scheme of the genetic programming mechanism leads to the generation of high-diversity solutions and small-sized individuals. The overall methodology is advantageous due to the adaptive training scheme proposed for offering both accurate and interpretable results in the form of expert rules. Moreover, a sensitivity analysis study is provided within the article, comparing the performance of the proposed evolutionary neural logic networks methodology with well-known competitive inductive machine learning approaches. Two financial domains of application have been selected to demonstrate the capabilities of the proposed methodology: (a) classification of credit applicants for consumer loans of a German bank and (b) the credit-scoring decision-making process in an Australian bank. Results seem encouraging since the proposed methodology outperforms a number of competitive existing statistical and intelligent methodologies, while it also produces handy decision rules, short in length and transparent in meaning and use.
Towards the understanding of the requirements of a communication language to support process interoperation in cross-disciplinary supply chains
Authors: B. Das, A. F. Cutting-Decelle, R. I. M. Young, K. Case, S. Rahimifard, C. J. Anumba, N. Bouchlaghem
Venue: International Journal of Computer Integrated Manufacturing (2007)

Many manufacturing organizations while doing business either directly or indirectly with other industrial sectors often encounter interoperability problems among software systems. This increases the business cost and reduces the efficiency. Research communities are exploring ways to reduce this cost. Incompatibility amongst the syntaxes and the semantics of the languages of application systems is the most common cause to this problem. The process specification language (PSL), an ISO standard (18629), has the potential to overcome some of these difficulties by acting as a neutral communication language. The current paper has therefore focused on exploring this aspect of the PSL within a cross-disciplinary supply chain environment.  The paper explores a specific cross-disciplinary supply chain scenario in order to understand the mechanisms of communications within the system. Interoperability of processes supporting those communications are analysed against PSL. A strategy is proposed for sharing process information amongst the supply chain nodes using the 'PSL 20 questions wizard and it is concluded that, although there is a need to develop more effective methods for mapping systems to PSL, it can still be seen as a powerful tool to aid the communications between processes in the supply chain. The paper uses a supply chain scenario that cuts across the construction and manufacturing business sectors in order to provide a breadth to the types of disciplines involved in communication.
Ruby.NET: a Ruby compiler for the common language infrastructure
Authors: Wayne Kelly, John Gough
Venue: Proceedings of the thirty-first Australasian conference on Computer science - Volume 74 (2008)

The implementation of statically typed programming languages on the .NET Common Language Infrastructure (CLI) is by now well understood (Gough 2002). However, the situation with dynamic languages is not so clear. Typically such languages have objects that are dynamically typed, while the CLI is statically typed at the instruction code level. Nevertheless there is a growing body of evidence suggesting that the CLI can be a suitable target for such languages (Hugunin 2006). In order to better understand the issues involved we set out to create a full implementation of the Ruby language on the CLI. This paper describes the challenges faced and design decisions made in creating Ruby.NET -- a Ruby compiler for the CLI.
A Probabilistic Model to Analyse Workflow Performance on Production Grids
Authors: Tristan Glatard, Johan Montagnat, Xavier Pennec
Venue: Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (2008)

Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the variability of those infrastructures on the performance of workflow-based applications. A probabilistic model of workflows execution time is proposed and evaluated. Results show that the variability of the EGEE grid infrastructure impacts the execution time of a particular medical image analysis application by a factor 2. The model gives interesting insights on the grid behavior for different application parallelization modes.
Research challenges in the tension between features and services
Authors: Sven Apel, Christian Kaestner, Christian Lengauer
Venue: Proceedings of the 2nd international workshop on Systems development in SOA environments (2008)

We present a feature-based approach, known from software product lines, to the development of service-oriented architectures. We discuss five benefits of such an approach: improvements in modularity, variability, uniformity, specifiability, and typeability. Subsequently, we review preliminary experiences and results, and propose an agenda for further research in this direction.
Stokes eigenmodes in cubic domain: primitive variable and Lattice Boltzmann formulations
Authors: E. Leriche, P. Lallemand, G. Labrosse
Venue: Applied Numerical Mathematics (2008)

A first numerical assessment of the Stokes eigenmodes in the cubical fully confined domain is proposed. It is based on two different solvers, the known Projection-Diffusion method and a Lattice Boltzmann approach. The numerical results of these solvers are compared in the 2-D (square) and 3-D (cube) cases. The leading eigenvalues, as well as their multiplicity, supplied by both solvers are in good agreement.
Automatic data partitioning in software transactional memories
Authors: Torvald Riegel, Christof Fetzer, Pascal Felber
Venue: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008)

We investigate to which extent data partitioning can help improve the performance of software transactional memory (STM). Our main idea is that the access patterns of the various data structures of an application might be sufficiently different so that it would be beneficial to tune the behavior of the STM for individual data partitions. We evaluate our approach using standard transactional memory benchmarks. We show that these applications contain partitions with different characteristics and, despite the runtime overhead introduced by partition tracking and dynamic tuning, that partitioning provides significant performance improvements.
HARMONI: Context-aware Filtering of Sensor Data for Continuous Remote Health Monitoring
Authors: Iqbal Mohomed, Archan Misra, Maria Ebling, William Jerome
Venue: Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (2008)

A promising architecture for remote healthcare monitoring involves the use of a pervasive device (such as a cellular phone), which aggregates data from multiple body-worn medical sensors and transmits the data to the backend. Unfortunately, the volume of data generated by increasingly sophisticated continuously-active sensors can overwhelm the resources on the mobile device. We propose imbuing the mobile device with the intelligence to perform context-aware filtering of sensor data streams in order to reduce transmissions in cases where the observed data corresponds to the norm expected by the system in a given context. To investigate the efficacy of this technique, we implemented the HARMONI middleware on a mobile device, and used it to collect real sensor data from users. Our experiments demonstrate that context-aware filtering can reduce the uplink bandwidth requirements of the system by up to 72%.
Energy Metering for Free: Augmenting Switching Regulators for Real-Time Monitoring
Authors: Prabal Dutta, Mark Feldmeier, Joseph Paradiso, David Culler
Venue: Proceedings of the 7th international conference on Information processing in sensor networks (2008)

We present iCount, a new energy meter design. For many systems that have a built-in switching regulator, adding a single wire between the regulator and the microcontroller enables real-time energy metering. iCount measures energy usage by counting the switching cycles of the regulator. We show that the relationship between load current and switching frequency is quite linear and demonstrate that this simple design can be applied to a variety of regulators. Our particular implementation exhibits a maximum error of less than +/-20% over five decades of current draw, a resolution exceeding 1 uJ, a read latency of 15 us, and a power overhead that ranges from 1% when the node is in standby to 0.01% when the node is active, for a typical workload. The basic iCount design requires only a pulse frequency modulated switching regulator and a microcontroller with an externally-clocked counter.