1796 search results - page 28 / 360 » An Approach to Compositional Model Checking |
ECOWS
2006
Springer
13 years 10 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
TAMODIA
2004
13 years 9 months ago
2004
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
ECMDAFA
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...