1796 search results - page 131 / 360 » An Approach to Compositional Model Checking |
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ADBIS
2006
Springer
14 years 2 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
AINA
2007
IEEE
14 years 5 months ago
2007
IEEE
Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain us...
FORTE
2007
14 years 2 days ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
ACSC
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...