525 search results - page 79 / 105 » Model Checking Systems of Replicated Processes with Spin |
132
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we define the Weak Mutual Exclusion (WME) problem. Analogously to classical Distributed Mutual Exclusion (DME), WME serializes the accesses to a shared resource. Di...
126
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
186
click to vote
FMSB
2008
15 years 5 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
131
click to vote
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
140
Voted
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...