Sciweavers

913 search results - page 135 / 183
» Formal Agent Development: Framework to System
Sort
View
CORR
2011
Springer
241views Education» more  CORR 2011»
14 years 3 months ago
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
Luis Antonio de Santa-Eulalia, Sophie D'Amours, Je...
CONCUR
2005
Springer
15 years 5 months ago
A Theory of System Behaviour in the Presence of Node and Link Failures
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
Adrian Francalanza, Matthew Hennessy
CI
1999
90views more  CI 1999»
14 years 11 months ago
Efficient Implementation of Semantic Relations in Lexical Databases
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
Uta Priss
AAAI
1996
15 years 1 months ago
Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
James C. Lester, Bruce W. Porter
PAAMS
2009
Springer
15 years 4 months ago
Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach
Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been trying to address this kind of env...
Ignasi Gómez-Sebastià, Manel Palau, ...