1676 search results - page 25 / 336 » Formal Development of Self-organising Systems |
TII
2008
13 years 8 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
PET
2004
Springer
14 years 2 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
DATE
2004
IEEE
14 years 17 days ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
IJAOSE
2007
13 years 8 months ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...