340 search results - page 3 / 68 » paste 2005 |
SOSP
2005
ACM
14 years 6 months ago
2005
ACM
CGA
2005
13 years 9 months ago
2005
WOWMOM
2005
ACM
14 years 3 months ago
2005
ACM
Emerging ubiquitous computing leverages the need for automated trust management models. We take a domestic network of both fixed and mobile nodes as our reference scenario and in...
FORMATS
2005
Springer
14 years 3 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...