Sciweavers

484 search results - page 52 / 97
» Runtime software adaptation: framework, approaches, and styl...
Sort
View
ICSE
2010
IEEE-ACM
15 years 25 days ago
Efficient hybrid typestate analysis by determining continuation-equivalent states
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
Eric Bodden
100
Voted
SCS
2003
15 years 6 days ago
Measuring Safety: Applying PSM to the System Safety Domain
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...
SE
2007
15 years 8 days ago
Enterprise application deployment: A model driven approach
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...
84
Voted
ISPA
2004
Springer
15 years 4 months ago
Highly Reliable Linux HPC Clusters: Self-Awareness Approach
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...
Chokchai Leangsuksun, Tong Liu, Yudan Liu, Stephen...
80
Voted
RSP
2006
IEEE
15 years 4 months ago
Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources
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...