260 search results - page 9 / 52 » Modeling Mental States in the Analysis of Multiagent Systems... |
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
ESAW
2004
Springer
14 years 23 days ago
2004
Springer
The agent metaphor has shown its usefulness for modelling as well as implementing complex and dynamic applications. Although a number of agent applications has been successfully re...
AOSE
2005
Springer
14 years 28 days ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
SAC
2003
ACM
14 years 19 days ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...