3575 search results - page 243 / 715 » Modeling Concurrency with Geometry |
167
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
198
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
190
click to vote
REX
1991
15 years 9 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
163
click to vote
DAIS
2007
15 years 7 months ago
2007
Implementing context-dependent behaviour of pervasive computing applications puts a great burden on programmers: Devices need to continuously adapt not only to their own context, b...
144
click to vote
ISTA
2003
15 years 7 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...