Sciweavers

97 search results - page 9 / 20
» Managing Contradictions in Multi-Agent Systems
Sort
View
ESAW
2009
Springer
14 years 2 months ago
Normative Multi-Agent Organizations
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
Mehdi Dastani
POPL
2012
ACM
12 years 3 months ago
A mechanized semantics for C++ object construction and destruction, with applications to resource management
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
14 years 1 months ago
Stakeholders, Contradictions and Salience: An Empirical Study of a Norwegian G2G Effort
Previous studies indicate that the expected effects of e-Government are slower to realize than initially expected. Several authors argue that e-Government involves particularly co...
Leif Skiftenes Flak, Stig Nordheim
ESAW
2004
Springer
14 years 26 days ago
Managing Conflicts Between Individuals and Societies in Multi-agent Systems
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
KES
2008
Springer
13 years 7 months ago
A Procedure Ontology for Advanced Diagnosis of Process Systems
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
Katalin M. Hangos, Erzsébet Németh, ...