This paper presents an innovative technique to efficiently develop hardware and software code generators. The specification model is first converted into its equivalent data structure. Target programs result from a set of transformation rules applied ...

Reactive systems used in safety-critical domains demand high level of confidence. The development of these systems, which are submitted to several normative recommendations, is complex and expensive. Reactive systems can be developed by using the data-flow ...

Over 80% of web services are vulnerable to attack, and much of the danger arises from command injection vulnerabilities. We present an efficient character-level taint tracking system for Java web applications and argue that it can be used to defend against ...

The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the application of link-time compaction and specialization techniques that exploit the ...

We investigate the verification problem of infinite-state process w.r.t. logic-based specifications that express properties which may be nonregular. We consider the process algebra PA which integrates and strictly subsumes the algebras BPA (basic process ...

The diverse requirements of wireless sensor network applications necessitate the development of multiple media access control (MAC) protocols to meet their varying throughput, latency, and network lifetime needs. Building new MAC protocols has proven ...

Wireless sensor networks (WSNs) form a unique class of ad hoc networks consisting of heterogeneous but highly resource-constrained devices that can sense their environment and report sensed data to designated nodes in the network. We present a holistic ...

In this work, we first present an application-initiatedstrategy that aims to control the energy consumption,while simultaneously enhancing the performance of aheterogeneous embedded system. We assess the benefitsof using this strategy by means of a traditional ...

We propose a framework called HydLa for simple modeling and reliable simulation of hybrid systems which involve discrete and continuous changes over time. HydLa employs interval constraints as a central principle to express uncertainties ...

In order to create secure and dependable systems and information intelligence, it is a major challenge to determine the security level of the network. This security level depends on a number of dynamically changing factors including emerging of new vulnerabilities ...

Linux for Internet Business Applications: A look at how one company is moving aheadusing Linux to provide Internet services to its clients

Monads have become a popular tool for dealing with computational effects in Haskell for two significant reasons: equational reasoning is retained even in the presence of effects; and program modularity is enhanced by hiding "plumbing" issues inside the ...

A monoenergetic version of the BRYNTRN transport code is extended to beam transport of light ions (super2H, super3H, super3He, and super4He) in shielding materials (thick targets). The redistribution of energy in nuclear reactions is included in transport ...

The focus of this paper is on vulnerabilities which exist in Supervisory Control and Data Acquisition (SCADA) systems. Cyber attacks targeting weaknesses in these systems can seriously degrade the survivability of a critical system. Detailed here is ...

With the widespread deployment of broadband connections worldwide, software development and maintenance are increasingly being performed by multiple engineers, often working around-the-clock to maximize code churn rates. To ensure rapid quality assurance ...

This paper suggests "Integrated Projection Illustrating" as a concept to be used in connection with visual descriptions of some complexity. It is meant both as an explanatory framework for what has been done so far, and as a guiding tool for making more ...