2468 search results - page 250 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
165
click to vote
ICDCS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents a design and analysis of scheduling techniques to cope with the inherent unreliability and instability of worker nodes in large-scale donation-based distribute...
161
click to vote
ETFA
2005
IEEE
16 years 4 days ago
2005
IEEE
Global competition has given rise to Logistic and Production Systems (LPSs), that are distributed manufacturing systems integrating international logistics and information technol...
311
click to vote
TASE
2012
IEEE
14 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
163
click to vote
FC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
187
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...