1888 search results - page 339 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
119
click to vote
SAGA
2005
Springer
15 years 8 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
127
click to vote
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
The IPv6-enabled network architecture has recently attracted much attention. In this paper, we address the issue of connecting MANETs to global IPv6 networks while supporting IPv6...
119
Voted
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
162
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
122
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
The simplicity of the basic client/server model of Web services led quickly to its widespread adoption, but also to scalability and performance problems. The technological respons...