340 search results - page 3 / 68 » paste 2005 |
131
Voted
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
140
click to vote
WOWMOM
2005
ACM
15 years 10 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...
147
click to vote
FORMATS
2005
Springer
15 years 10 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...
138
click to vote
BIRTHDAY
2005
Springer
15 years 10 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 ...