250 search results - page 35 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
SIGGRAPH
1995
ACM
15 years 1 months ago
1995
ACM
The use of prediction to eliminate or reduce the effects of system delays in Head-Mounted Display systems has been the subject of several recent papers. A variety of methods have ...
109
click to vote
SIGGRAPH
1999
ACM
15 years 1 months ago
1999
ACM
A simple, fast, and approximate voxel-based approach to 6DOF haptic rendering is presented. It can reliably sustain a 1000 Hz haptic refresh rate without resorting to asynchronous...
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
SAS
1999
Springer
15 years 1 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
105
click to vote
CSFW
2012
IEEE
12 years 12 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...