485 search results - page 42 / 97 » System Safety Requirements as Control Structures |
IASTEDSEA
2004
13 years 10 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— A novel cross-layer call admission control policy is proposed for a general CDMA beamforming system. In contrast to previously proposed call admission control (CAC) policies wh...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
ENTCS
2007
13 years 8 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
—In this paper we are concerned with allowing the operator of a haptic display to interact with virtual systems having significant inertial dynamics and realistic constraints. We...