Sciweavers

4004 search results - page 453 / 801
» Selecting an Approach to Designing Group Support Systems
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 4 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
PERCOM
2004
ACM
16 years 6 months ago
Models, Protocols, and Architectures for Secure Pervasive Computing: Challenges and Research Directions
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
Roshan K. Thomas, Ravi S. Sandhu
COOPIS
1997
IEEE
15 years 11 months ago
Task Sharing among Agents using Reactive Rules
Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to...
Mikael Berndtsson, Sharma Chakravarthy, Brian Ling...
ATAL
2005
Springer
16 years 7 days ago
Multiagent planning through plan repair
We present a novel approach to multiagent planning for self-interested agents. The main idea behind our approach is that multiagent planning systems should be built upon (single-a...
Roman van der Krogt, Nico Roos, Mathijs de Weerdt,...
MONET
2008
135views more  MONET 2008»
15 years 6 months ago
Understanding the Power of Distributed Coordination for Dynamic Spectrum Management
This paper investigates a distributed and adaptive approach to manage spectrum usage in dynamic spectrum access networks. While previous works focus on centralized provisioning, w...
Lili Cao, Haitao Zheng