2468 search results - page 458 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
152
click to vote
ACISP
2006
Springer
15 years 7 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
135
click to vote
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
To provide Quality of Service (QoS) guarantee in distributed services, it is necessary to reserve multiple computing and communication resources for each service session. Meanwhile...
135
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
160
click to vote
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
151
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...