2468 search results - page 64 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
115
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
123
click to vote
AC
2005
Springer
15 years 3 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
144
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
108
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
132
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...