997 search results - page 154 / 200 » Towards Computation over Communities |
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
ICA3PP
2007
Springer
14 years 2 months ago
2007
Springer
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...
IH
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
MDM
2007
Springer
14 years 2 months ago
2007
Springer
This work tackles the problem of answer-aggregation for continuous spatio-temporal range queries in distributed settings. We assume a grid-like coverage of the spatial universe of...
APCSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Bypass delays are expected to grow beyond 1ns as technology scales. These delays necessitate pipelining of bypass paths at processor frequencies above 1GHz and thus affe...