8 search results - page 2 / 2 » An Automata-Based Monitoring Technique for Commitment-Based ... |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
In the complex, dynamic domain of Air Traffic Control (ATC) many unexpected events can happen during the execution of a plan. Sometimes these disruptions make the plan infeasible ...
ICCSA
2010
Springer
13 years 10 months ago
2010
Springer
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...