Sciweavers

4508 search results - page 342 / 902
» Design of human-map system interaction
Sort
View
HYBRID
2000
Springer
15 years 10 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas
DBSEC
2004
170views Database» more  DBSEC 2004»
15 years 8 months ago
RBAC/MAC Security Analysis and Design for UML
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
Thuong Doan, Steven A. Demurjian, Charles E. Phill...
AAMAS
2008
Springer
15 years 7 months ago
Using quantitative models to search for appropriate organizational designs
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
Bryan Horling, Victor R. Lesser
178
Voted
ASIAN
2005
Springer
103views Algorithms» more  ASIAN 2005»
16 years 10 days ago
Implementing a Tamper-Evident Database System
Abstract. Data integrity is an assurance that data has not been modified in an unknown or unauthorized manner. The goal of this paper is to allow a user to leverage a small amount...
Gerome Miklau, Dan Suciu
HAPTICS
2007
IEEE
16 years 1 months ago
Towards Just Noticeable Differences for Natural Frequency of Manually Excited Virtual Dynamic Systems
This paper explores the experiment design to determine a human’s ability to discriminate the natural frequency of manually excited virtual dynamic systems. We use a one degree-o...
Yanfang Li, Volkan Patoglu, Deborah Huang, Marcia ...