284 search results - page 42 / 57 » Labels and event processes in the Asbestos operating system |
159
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...
144
Voted
IFIP
2009
Springer
16 years 19 days ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
173
click to vote
DAGM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
189
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
167
Voted
WDAG
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...