1972 search results - page 287 / 395 » The Timed Asynchronous Distributed System Model |
164
click to vote
WSC
1998
15 years 7 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
174
click to vote
MIDDLEWARE
2007
Springer
16 years 16 days ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
168
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
194
click to vote
MOBIHOC
2004
ACM
16 years 6 months ago
2004
ACM
Clock synchronization is a crucial basic service in typical sensor networks, since the observations of distributed sensors more often than not need to be ordered ("a happened...
195
click to vote
LICS
1998
IEEE
15 years 10 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...