512 search results - page 91 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
POPL
2000
ACM
14 years 26 days ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
ER
1997
Springer
14 years 19 days ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
MOBISYS
2010
ACM
13 years 10 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
SRDS
2006
IEEE
14 years 2 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...