Sciweavers

1081 search results - page 125 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
IJAOSE
2008
120views more  IJAOSE 2008»
14 years 10 months ago
An architecture for exception management in multiagent systems
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
ENTCS
2006
90views more  ENTCS 2006»
14 years 10 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
JAIR
2008
173views more  JAIR 2008»
14 years 10 months ago
Computational Logic Foundations of KGP Agents
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
JUCS
2006
126views more  JUCS 2006»
14 years 10 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
PERCOM
2008
ACM
14 years 10 months ago
Composing software services in the pervasive computing environment: Languages or APIs?
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
Jon Robinson, Ian Wakeman, Dan Chalmers