1796 search results - page 42 / 360 » An Approach to Compositional Model Checking |
EATIS
2007
ACM
13 years 12 months ago
2007
ACM
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
TSC
2010
13 years 2 months ago
2010
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...
ICSE
2001
IEEE-ACM
14 years 13 days ago
2001
IEEE-ACM
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
ER
2004
Springer
14 years 1 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...