448 search results - page 75 / 90 » Playing With Population Protocols |
KR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
ANSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Bluetooth is an emerging technology in wireless applications, and many related issues are yet to be explored both in academia and industry. Because of the complexity and the dynam...
ICALP
2001
Springer
14 years 28 days ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
FM
1999
Springer
14 years 21 days ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
WETICE
1999
IEEE
14 years 21 days ago
1999
IEEE
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...