729 search results - page 59 / 146 » A Transitive Closure Based Algorithm for Test Generation |
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
PADS
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
SAS
2000
Springer
13 years 11 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
EVOW
2011
Springer
12 years 11 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...