955 search results - page 128 / 191 » Model Checking Operator Procedures |
127
Voted
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
82
Voted
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
106
Voted
ER
2004
Springer
15 years 6 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
98
Voted
SAIG
2001
Springer
15 years 5 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
102
Voted
TSE
2008
15 years 16 days ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...