Sciweavers

187 search results - page 29 / 38
» Commitment Monitoring in a Multiagent System
Sort
View
ATAL
2004
Springer
15 years 2 months ago
A Scalable Petri Net Representation of Interaction Protocols for Overhearing
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
Gery Gutnik, Gal A. Kaminka
ISCA
2007
IEEE
114views Hardware» more  ISCA 2007»
15 years 3 months ago
Mechanisms for bounding vulnerabilities of processor structures
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
Niranjan Soundararajan, Angshuman Parashar, Anand ...
DIGITEL
2007
IEEE
15 years 3 months ago
Pedagogical Agents for Teacher Intervention in Educational Robotics Classes: Implementation Issues
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
Ilkka Jormanainen, Yuejun Zhang, Kinshuk, Erkki Su...
IEEESCC
2007
IEEE
15 years 3 months ago
Governance of Cross-Organizational Service Agreements: A Policy-Based Approach
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
Yathiraj B. Udupi, Munindar P. Singh
ENTCS
2006
142views more  ENTCS 2006»
14 years 9 months ago
Specialization of Interaction Protocols in a Temporal Action Logic
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
Laura Giordano, Alberto Martelli, Camilla Schwind