Sciweavers

8810 search results - page 418 / 1762
» Openness
Sort
View
ESAW
2006
Springer
15 years 10 months ago
Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents
Electronic institutions (EIs) have been proposed as a means of regulating open agent societies. EIs define the rules of the game in agent societies by fixing what agents are permit...
Eva Bou, Maite López-Sánchez, Juan A...
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
AIIA
1995
Springer
15 years 10 months ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl
AAAI
2007
15 years 9 months ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
ATAL
2008
Springer
15 years 8 months ago
Conjunctive queries for ontology based agent communication in MAS
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
Cássia Trojahn dos Santos, Paulo Quaresma, ...