Sciweavers

857 search results - page 95 / 172
» A Formal Framework for Adaptive Access Control Models
Sort
View
ICRA
2005
IEEE
136views Robotics» more  ICRA 2005»
14 years 1 months ago
Operator Engagement Detection and Robot Behavior Adaptation in Human-Robot Interaction
- It has been shown that in human-robot interaction, the effectiveness of a robot varies inversely with the operator engagement in the task. Given the importance of maintaining opt...
Pramila Rani, Nilanjan Sarkar
VISUALIZATION
1998
IEEE
13 years 12 months ago
Large scale terrain visualization using the restricted quadtree triangulation
Real-time rendering of triangulated surfaces has attracted growing interest in the last few years. However, interactive visualization of very large scale grid digital elevation mo...
Renato Pajarola
CSFW
2005
IEEE
14 years 1 months ago
Nomad: A Security Model with Non Atomic Actions and Deadlines
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
Frédéric Cuppens, Nora Cuppens-Boula...
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
14 years 4 days ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
WIKIS
2010
ACM
13 years 11 months ago
Deep hypertext with embedded revision control implemented in regular expressions
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
Victor S. Grishchenko