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 ...

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 ...

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 ...

Static analysis methods for performance prediction of component-based software must be compositional in order to be scalable. In this paper, we explain the problem and our solution approach by analyzing the time to finalize or destroy generic objects, ...

Bugs in multi-threaded programs often arise due to data races. Numerous static and dynamic program analysis techniques have been proposed to detect data races. We propose a novel randomized dynamic analysis technique that utilizes potential data race ...

The Open Source Cluster Application Resources (OSCAR) toolkit is used to build and maintain HPC clusters. The OSCAR cluster installer provides a graphical user interface (GUI) "wizard" that directs the user through the installation process. This GUI ...

Defining, creating, and manipulating persistent typed objects will be central activities in future software environments. PGRAPHITE is a working prototype through which we are exploring the requirements for the persistent object capability ...

This tutorial considers the structure and construction of reliable software. By way of introduction, several of the structured programming and software engineering techniques are classified into three groups; those which impact primarily on the program ...

Requirements engineers can learn from dramatic writers how to write better scenarios by appreciating some key characteristics of screenwriting.

We present fundamental geometric data structures and algorithms offered by CGAL, the Computational Geometry Algorithms Library. As geometry is ubiquitous this library is used by application developers in medical imaging, VLSI, CAD/CAM, geophysics, computer ...

The objective of a systematic review is to obtain empirical evidence about the topic under review and to allow moving forward the body of knowledge of a discipline. Therefore, systematic reviewing is a tool we can apply in Software Engineering to develop ...

A frame is an archetype—a model from which all similar things are made. Frame technology can synthesize any information structure (such as a program) from machine-adaptable frames. The author contrasts FT with object-oriented classes. By canonically ...