421 search results - page 67 / 85 » Abstract Interpretation of PEPA Models |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
FM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...