Sciweavers

2317 search results - page 77 / 464
» Model based testing for agent systems
Sort
View
FATES
2004
Springer
15 years 8 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
IADIS
2004
15 years 4 months ago
Inca: An Intelligent Cognitive Agent-Based Framework for Adaptive and Interactive Learning
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
Liana Razmerita, Thierry Nabeth, Albert A. Angehrn...
JDCTA
2010
169views more  JDCTA 2010»
14 years 10 months ago
The Partner Selection in Virtual Enterprise based on BDI Agent
This paper's research is based on the model of BDI Agent, carries out the research of the modeling and simulating the Virtual Enterprise's partner selection using Swarm ...
Wang Yu, Zhu Feng, Geng Hua, Zhuwang Jing
JUCS
2008
186views more  JUCS 2008»
15 years 3 months ago
An Agent-Based Solution for Dynamic Supply Chain Management
: Supply chain management (SCM) deals with planning and coordinating activities such as material procurement, product assembly, and the distribution of manufactured products. This ...
Vedran Podobnik, Ana Petric, Gordan Jezic
ITNG
2007
IEEE
15 years 9 months ago
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moul...