2838 search results - page 21 / 568 » Verifying Controlled Components |
ACSAC
2009
IEEE
14 years 25 days ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
167
click to vote
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
AIPS
2006
13 years 10 months ago
2006
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
TSMC
2010
13 years 3 months ago
2010
Abstract--This paper considers a second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies where each agent is governed by both position...
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE