2468 search results - page 102 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
115
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper investigates a slotted random access system where packet capture is modeled using communication theoretic techniques. It is shown that the optimum rates and attempt p...
129
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
160
click to vote
WSC
2007
15 years 5 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
157
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
145
Voted
UAI
2000
15 years 4 months ago
2000
Decision theory does not traditionally include uncertainty over utility functions. We argue that the a person's utility value for a given outcome can be treated as we treat o...