2838 search results - page 170 / 568 » Verifying Controlled Components |
IBMRD
2007
13 years 10 months ago
2007
Current data protection technologies such as those based on public‐key encryption and broadcast encryption focus on the secure control and prote...
AROBOTS
2000
13 years 10 months ago
2000
A new means of action selection via utility fusion is introduced as an alternative to both sensor fusion and command fusion. Distributed asynchronous behaviors indicate the utility...
WD
2010
13 years 8 months ago
2010
Energy consumption in general and interference in particular are among the most critical issues in wireless networks. In this paper we present the E-BUM calculus, a Energy-aware ca...
NIME
2004
Springer
14 years 4 months ago
2004
Springer
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...