4044 search results - page 614 / 809 » The Evolution of a Distributed Operating System |
120
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
114
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present an extension of the Dynamics Based Control (DBC) paradigm to environment models based on Predictive State Representations (PSRs). We show an approximate greedy version ...
150
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
124
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
137
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Small unpiloted aircraft (UAVs) each have limited power budgets. If a group (swarm) of small UAVs is organised to perform a common task such as geo-location, then it is possible t...