Sciweavers

2838 search results - page 408 / 568
» Verifying Controlled Components
Sort
View
CIDR
2007
113views Algorithms» more  CIDR 2007»
14 years 2 days ago
Securing history: Privacy and accountability in database systems
Databases that preserve a historical record of activities and data offer the important benefit of system accountability: past events can be analyzed to detect breaches and maint...
Gerome Miklau, Brian Neil Levine, Patrick Stahlber...
CDES
2008
90views Hardware» more  CDES 2008»
14 years 2 days ago
Nanocompilation for the Cell Matrix Architecture
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
Thomas Way, Rushikesh Katikar, Ch. Purushotham
EON
2007
14 years 2 days ago
Benchmarking Reasoners for Multi-Ontology Applications
We describe an approach to create a synthetic workload for large scale extensional query answering experiments. The workload comprises multiple interrelated domain ontologies, data...
Ameet Chitnis, Abir Qasem, Jeff Heflin
HCI
2007
14 years 2 days ago
Social Puppets: Towards Modular Social Animation for Agents and Avatars
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
Hannes Högni Vilhjálmsson, Chirag Merc...
HCI
2007
14 years 2 days ago
Design of an Adaptive Feedback Based Steering Wheel
This paper aims at describing the architectural model of an adaptive force-feedback for a By Wire steering wheel system. This solution uses a steering wheel to replicate the reacti...
Mauro Dell'Amico, Stefano Marzani, Luca Minin, Rob...