2838 search results - page 51 / 568 » Verifying Controlled Components |
128
click to vote
IEEECIT
2010
IEEE
15 years 22 days 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...
102
click to vote
MOR
2006
15 years 2 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...
132
click to vote
ACSC
2004
IEEE
15 years 6 months 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...
110
click to vote
ISPDC
2005
IEEE
15 years 7 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...
133
click to vote
CDC
2009
IEEE
15 years 3 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...