1701 search results - page 39 / 341 » Computer Science and State Machines |
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
MFCS
1998
Springer
15 years 2 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
EUROSYS
2006
ACM
15 years 6 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
CIVR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we present an automatic semantic video analysis system to support interdisciplinary research efforts in the field of psychology and media science. The psychological...
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...