1173 search results - page 36 / 235 » Weighted Distributed Systems and Their Logics |
127
Voted
PROLAMAT
2001
15 years 2 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...
92
Voted
GLOBECOM
2009
IEEE
14 years 10 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
15 years 5 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,...
113
click to vote
DBISP2P
2003
Springer
15 years 6 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
15 years 6 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...