1173 search results - page 36 / 235 » Weighted Distributed Systems and Their Logics |
PROLAMAT
2001
13 years 11 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...
GLOBECOM
2009
IEEE
13 years 7 months ago
2009
IEEE
Beamforming and relaying are two methods of improving wireless system performance. Until now, these techniques have been considered separately. In this paper, a single source (base...
CCS
1999
ACM
14 years 2 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
DBISP2P
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
SENSYS
2006
ACM
14 years 3 months ago
2006
ACM
Distributed estimation of sensor location is a key enabling technology for sensor networks. This demonstration will provide an interactive display of distributed, cooperative loca...