Sciweavers

1926 search results - page 126 / 386
» From P to MP Systems
Sort
View
LISA
2008
15 years 10 days ago
Designing Tools for System Administrators: An Empirical Test of the Integrated User Satisfaction Model
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
Nicole F. Velasquez, Suzanne P. Weisband, Alexandr...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 2 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
DEXAW
2010
IEEE
172views Database» more  DEXAW 2010»
14 years 11 months ago
Distributed Semantic Video Tagging for Peer-to-Peer Authoring System
Abstract--In the context of a project aimed at the development of a cooperative and distributed Authoring System to facilitate the production, sharing, and integration of new and e...
Giuseppe Rizzo, Biagio Meirone, Pierluigi Di Nunzi...
AIL
1999
134views more  AIL 1999»
14 years 9 months ago
An Ontology for Commitments in Multiagent Systems
Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for ...
Munindar P. Singh
SAC
2009
ACM
15 years 4 months ago
Multi-agent system adaptation in a peer-to-peer scenario
From a system's perspective as opposed to an individual agent perspective, MAS adaptation is now becoming an important topic, since it can help to obtain expected outcomes ...
Jordi Campos Miralles, Maite López-Sá...