6808 search results - page 298 / 1362 » Distributed Concurrency Control |
192
click to vote
STOC
2001
ACM
16 years 7 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
190
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
193
click to vote
ICDCSW
2006
IEEE
16 years 1 months ago
2006
IEEE
An overlay network is formed on top of – and generally independently from – the underlying physical computer network, by the peers (nodes) of a P2P system. The dynamics of pee...
232
click to vote
ISORC
2005
IEEE
16 years 26 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
204
click to vote
ACSD
2003
IEEE
16 years 17 days ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...