Sciweavers

4118 search results - page 139 / 824
» Mechanisms for usage control
Sort
View
ICFP
2003
ACM
16 years 6 months ago
Disjunctive normal forms and local exceptions
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
Emmanuel Beffara, Vincent Danos
UM
2001
Springer
15 years 10 months ago
Enhancing Embodied Intelligent Agents with Affective User Modelling
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
Patrick Gebhard
ACL
1994
15 years 7 months ago
Generalized Chart Algorithm: An Efficient Procedure for Cost-Based Abduction
We present an efficient procedure for cost-based abduction, which is based on the idea of using chart parsers as proof procedures. We discuss in detail three features of our algor...
Yasuharu Den
HOTOS
2003
IEEE
15 years 11 months ago
Access Control to Information in Pervasive Computing Environments
Many types of information available in a pervasive computing environment, such as people location information, should be accessible only by a limited set of people. Some propertie...
Urs Hengartner, Peter Steenkiste
HAPTICS
2003
IEEE
15 years 11 months ago
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
J. Melli-Huber, Brian Weinberg, Avi Fisch, Jason N...