Sciweavers

3337 search results - page 343 / 668
» interactions 2006
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
174
Voted
ECAI
2006
Springer
15 years 10 months ago
Symmetry Breaking Using Value Precedence
We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints th...
Toby Walsh
EDCC
2006
Springer
15 years 10 months ago
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits sp...
Ludovic Courtès, Marc-Olivier Killijian, Da...
EUROCRYPT
2006
Springer
15 years 10 months ago
Compact Group Signatures Without Random Oracles
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
Xavier Boyen, Brent Waters
ECOWS
2006
Springer
15 years 8 months ago
A Facilitator to Discover and Compose Services
In this paper, we present our approach of facilitator that allows automatic service composition in distributed systems. We propose a facilitator based on ontologies and knowledge ...
Oussama Kassem Zein, Yvon Kermarrec