2446 search results - page 482 / 490 » First Smart Spaces |
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
100
Voted
TACAS
2010
Springer
14 years 8 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
117
Voted
AMSTERDAM
2009
14 years 8 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
95
Voted
CORR
2009
Springer
14 years 8 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
115
click to vote
ICC
2009
IEEE
14 years 7 months ago
2009
IEEE
Protecting users' privacy is becoming one of the rising issues for the success of future communications. The Internet in particular, with its open architecture, presents sever...