Abstract. Building complex software architectures can be subject to subtle assemblage errors that are typically not captured by classical type systems available with host programming languages such as Java, C#, or ML. Our real-life motivating example is the Dream component-based framework, that has

of executable programs from specications. The construction of the transformation can be substantially simplied if the class of control systems is formalised in a generic way using design patterns and frameworks. Keywords: railway control systems, domain-specic formalisms, design patterns, frameworks 1

needed for performance testing and emphasizes a readable syntax. The core code-generation technique, based on unrolling CONCEPTUAL programs into sequences of communication events, is simple yet enables the efficient implementation of a variety of high-level constructs. The paper further explains how

Electric Glider. Although AUVs like the Slocum Glider have revolutionized the field of oceanography, many are difficult to program and thus limit their overall utility. A new energy aware, domain specific programming framework for AUVs, called ALGAE (AUV Language for Greater Adaptability and Energy

Abstract. Semantic sensor networks use declarative descriptions of sen-sors promote reuse and integration, and to help solve the difficulties of installing, querying and maintaining complex, heterogeneous sensor net-works. This paper reviews the state of the art for the semantic specifi-cation

-chronization and temporal specification. We propose a temporal reference framework and use it to compare existing temporal specification schemes and their relationships to multime-dia synchronization. The ensuing comparison of existing specification and synchronization techniques demonstrates the utility of the framework.

Botnets have become a severe threat to the cyberspace. However, existing studies are typically conducted in an ad hoc fashion, by demonstrating specific analysis on captured bot programs or bot communication mechanisms so as to suggest means to counter them. Although such studies are important

for building domain-specific multi-objective pro-gram autotuners. OpenTuner supports fully-customizable configuration representations, an extensible technique rep-resentation to allow for domain-specific techniques, and an easy to use interface for communicating with the program to be autotuned. A key

information technology. While computer literacy is defined with a focus on computer skills, specifically the ability to use a few computer applications, FITness requires that people understand information technology well enough to apply it productively in work situations and in their daily lives, to recognize

different semantics with the terms. This clash over the meaning of the terms prevents the seamless exchange of information among the applications. Typically, pointto-point translation programs are written to enable communication from one specific application to another. However, as the number