Sciweavers

6756 search results - page 18 / 1352
» Distributed Shared State
Sort
View
CORR
2010
Springer
248views Education» more  CORR 2010»
13 years 10 months ago
Optimal Spectrum Sharing in MIMO Cognitive Radio Networks via Semidefinite Programming
Abstract--In cognitive radio (CR) networks with multipleinput multiple-output (MIMO) links, secondary users (SUs) can exploit "spectrum holes" in the space domain to acce...
Ying Jun Zhang, Anthony Man-Cho So
ENTCS
2011
125views more  ENTCS 2011»
13 years 1 months ago
A Hybrid Public Announcement Logic with Distributed Knowledge
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
Jens Ulrik Hansen
ICQNM
2008
IEEE
138views Chemistry» more  ICQNM 2008»
14 years 4 months ago
Multiparty Distributed Compression of Quantum Information
—We study a protocol in which many parties use quantum communication to transfer a shared state to a receiver without communicating with each other. This protocol is a multiparty...
David Avis, Patrick Hayden, Ivan Savov
ICLP
2004
Springer
14 years 3 months ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson
AMAST
2004
Springer
14 years 1 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...