3891 search results - page 777 / 779 » A logic for strategic reasoning |
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
WS
2010
ACM
13 years 5 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
WEBI
2010
Springer
13 years 5 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...