Sciweavers

2838 search results - page 105 / 568
» Verifying Controlled Components
Sort
View
UIST
2005
ACM
14 years 3 months ago
DT controls: adding identity to physical interfaces
In this paper, we show how traditional physical interface components such as switches, levers, knobs and touch screens can be easily modified to identify who is activating each co...
Paul H. Dietz, Bret Harsham, Clifton Forlines, Dar...
DSN
2000
IEEE
14 years 2 months ago
OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
Myron Hecht, Xuegao An, Bing Zhang, Yutao He
IJCAI
1993
13 years 11 months ago
Anytime Sensing Planning and Action: A Practical Model for Robot Control
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
Shlomo Zilberstein, Stuart J. Russell
DBSEC
2008
188views Database» more  DBSEC 2008»
13 years 11 months ago
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
Manachai Toahchoodee, Indrakshi Ray
ICIP
2001
IEEE
14 years 11 months ago
Observer motion estimation and control from optical flow
The information conveyed by optical flow is analytically linked to the observer motion in this paper by decomposing the optical flow field into its vector field components. It is ...
Liangyin Yu, Charles R. Dyer