746 search results - page 113 / 150 » On the Identification of Agents in the Design of Production ... |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...