2468 search results - page 372 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
134
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
107
Voted
HPDC
1997
IEEE
15 years 7 months ago
1997
IEEE
Layering of protocols o ers several well-known advantages, but typically leads to performance ine ciencies. We present a model for layering, and point out where the performance pr...
120
Voted
CCGRID
2008
IEEE
15 years 5 months ago
2008
IEEE
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
133
Voted
AI
2000
Springer
15 years 3 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
126
Voted
WWW
2002
ACM
16 years 4 months ago
2002
ACM
The Web graph is a giant social network whose properties have been measured and modeled extensively in recent years. Most such studies concentrate on the graph structure alone, an...