382 search results - page 55 / 77 » Proof Theory for Distributed Knowledge |
ICS
2010
Tsinghua U.
14 years 18 days ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
SIGECOM
2009
ACM
14 years 3 months ago
2009
ACM
Motivated by the prevalence of online questionnaires in electronic commerce, and of multiple-choice questions in such questionnaires, we consider the problem of eliciting truthful...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Virtual project teams are spontaneous group configurations that endeavor to overcome spatial and temporal restrictions in bringing together distant experts to create just-in-time ...
CIKM
1994
Springer
14 years 17 days ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
DIALM
2008
ACM
13 years 10 months ago
2008
ACM
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...