Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
John Murdoch, Graham Clark, Antony Powell, Paul Ca...
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...
Peter Golibrzuch, Alexander Holbreich, Simon Zambr...
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...
Daniel Cheung-Foo-Wo, Jean-Yves Tigli, Stephane La...