Sciweavers

1594 search results - page 222 / 319
» Organizational Agent Systems for Intelligent Enterprise Mode...
Sort
View
LFCS
2007
Springer
15 years 4 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
AOSE
2005
Springer
15 years 3 months ago
Improving AOSE with an Enriched Modelling Framework
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
Richard Hill, Simon Polovina, Martin D. Beer
AOSE
2007
Springer
15 years 4 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
AP2PC
2003
Springer
15 years 3 months ago
Fuzzy Cost Modeling for Peer-to-Peer Systems
The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...
Bo Ling, Wee Siong Ng, Yanfeng Shu, Aoying Zhou
E4MAS
2004
Springer
15 years 3 months ago
From Reality to Mind: A Cognitive Middle Layer of Environment Concepts for Believable Agents
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
Paul Hsueh-Min Chang, Kuang-Tai Chen, Yu-Hung Chie...