Sciweavers

851 search results - page 119 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
EUMAS
2006
14 years 10 days ago
Agent Capability: Automating the Design to Code Process
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
Loris Penserini, Anna Perini, Angelo Susi, John My...
AAMAS
1999
Springer
13 years 10 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
IAT
2009
IEEE
13 years 8 months ago
Facilitating Active Multidimensional Association Mining with User Preference Ontology
Multidimensional association mining from data warehouse has become a knowledge discovery paradigm because it provides more specific conditional settings for target mining data, th...
Chin-Ang Wu, Wen-Yang Lin, Chuan-Chun Wu
SIGSOFT
2002
ACM
14 years 11 months ago
Composable semantics for model-based notations
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
DAIS
2001
14 years 10 days ago
Software Connectors and their Role in Component Deployment
To support rapid software evolution, it is desirable to construct software systems from reusable components. In this approach, the architecture of a system is described as a collec...
Dusan Bálek, Frantisek Plasil