2468 search results - page 440 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
148
click to vote
ICS
2010
Tsinghua U.
16 years 20 days ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
133
click to vote
DBISP2P
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Interest-based communities are a natural arrangement of distributed systems that prune the search space and allow for better dissemination of information to participating...
122
click to vote
APN
2001
Springer
15 years 7 months ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
101
click to vote
WETICE
1997
IEEE
15 years 7 months ago
1997
IEEE
Though the service of shared virtual worlds is an active area of research, little effort has been made to optimize such systems for urban world spaces. Tracking the motion, action...
124
click to vote
MABS
2000
Springer
15 years 6 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...