2838 search results - page 51 / 568 » Verifying Controlled Components |
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
MOR
2006
13 years 8 months ago
2006
This paper provides guidance for operating an assemble-to-order system to maximize expected discounted profit, assuming that a high volume of prospective customers arrive per unit...
ACSC
2004
IEEE
14 years 20 days ago
2004
IEEE
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
ISPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...