1895 search results - page 314 / 379 » Using ATL for Checking Models |
97
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
123
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
98
Voted
CDB
2004
Springer
15 years 6 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
101
click to vote
ERLANG
2008
ACM
15 years 2 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
97
Voted
IJCAI
2007
15 years 2 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...