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

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

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

Should users of technically protected content be able to give notice and require content owners to take down the technical measure to enable fair uses?

Software reuse can be very useful in increasing the productivity and the quality level of a company, but appropriate classification and retrieval tools have to be provided in order to exploit its pros. The classic classification and retrieval methods ...

This paper presents results and conclusions of a Research Program which, among other tasks, performed analyses of empirical data gathered from completed Ada projects and explored alternative methods for Ada cost modeling and estimation. Among others, ...

Many undergraduate software engineering courses combine team projects with discussion of development cycle concepts. It can be difficult to connect these elements in a coherent way, especially when the lecture is a broad survey and the project is sharply ...

Nowadays, web-based applications have become more and more popular in computer-based applications. Learning and mastering web programming environment, techniques, and methods are becoming necessary for undergraduate students in computer science. Traditional ...

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