485 search results - page 50 / 97 » System Safety Requirements as Control Structures |
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
ENTCS
2006
13 years 9 months ago
2006
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—We study in this paper optimal stochastic control issues in delay tolerant networks. We first derive the structure of optimal two-hop forwarding policies. In order to be implem...
AIPS
2007
13 years 11 months ago
2007
Autonomous systems operating in real-world environments must be able to plan, schedule, and execute missions while robustly adapting to uncertainty and disturbances. Previous work...