5434 search results - page 856 / 1087 » Tool support for MOLA |
175
click to vote
ADAEUROPE
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
196
click to vote
AISADM
2005
Springer
16 years 2 days ago
2005
Springer
Advances in agent technologies have fueled interest towards combining agent-based techniques with tools from data mining. Furthermore, the advent of the ubiquitous computing paradi...
164
click to vote
APWEB
2005
Springer
16 years 2 days ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
125
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
176
click to vote
FASE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...