1796 search results - page 228 / 360 » An Approach to Compositional Model Checking |
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
SAINT
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
ISLPED
1996
ACM
14 years 12 days ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
AIPS
2009
13 years 9 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...