660 search results - page 3 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
WICSA
2008
13 years 7 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
CCS
2003
ACM
13 years 11 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
SFM
2005
Springer
13 years 11 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
KES
2005
Springer
13 years 11 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Indee...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...