278 search results - page 29 / 56 » Formal Composition of Distributed Scenarios |
CCS
2009
ACM
14 years 9 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
FC
2005
Springer
14 years 2 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Distributed mobile applications operate on devices with diverse capabilities, in heterogeneous environments, where parameters such as processor, memory and network utilisation, are...
SEKE
2001
Springer
14 years 1 months ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...