Sciweavers

1592 search results - page 126 / 319
» The state of the email address
Sort
View
QSIC
2007
IEEE
14 years 4 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
ATAL
2007
Springer
14 years 4 months ago
Using priorities to simplify behavior coordination
Real-world behavior-based robot control problems require the coordination of a large number of competing behaviors. However, coordination becomes increasingly difficult as the num...
Brent E. Eskridge, Dean F. Hougen
ATAL
2007
Springer
14 years 4 months ago
A Q-decomposition and bounded RTDP approach to resource allocation
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, a Qdecomposition...
Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak...
DNA
2007
Springer
107views Bioinformatics» more  DNA 2007»
14 years 4 months ago
Autonomous Programmable Nanorobotic Devices Using DNAzymes
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
John H. Reif, Sudheer Sahu
ANSS
2006
IEEE
14 years 4 months ago
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
Tibor Bosse, Catholijn M. Jonker, Jan Treur