2838 search results - page 407 / 568 » Verifying Controlled Components |
CLOUDCOM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
WSC
2007
14 years 29 days ago
2007
Department of Health and Environmental Control (DHEC) issued an order recently requiring that all hospitals have an evacuation plan with the following components: sheltering plan,...
AISB
2008
Springer
14 years 19 days ago
2008
Springer
Imagination is generally regarded as a very powerful and advanced cognitive ability. In this paper we propose a modelling framework for what we call functional imagination: the ab...
ATAL
2006
Springer
14 years 18 days ago
2006
Springer
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
CEC
2005
IEEE
14 years 18 days ago
2005
IEEE
Simulated evolution by the use of Genetic Algorithms (GA) is presented as the solution to a twofaceted problem: the challenge for an autonomous agent to learn the reactive componen...