2911 search results - page 326 / 583 » A Theory of Expressiveness in Mechanisms |
142
click to vote
AFP
2008
Springer
15 years 8 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
123
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
111
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
112
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
124
click to vote
TABLETOP
2007
IEEE
15 years 8 months ago
2007
IEEE
We envision a nomadic model of interaction where the personal computer fits in your pocket. Such a computer is extremely limited in screen space. A technique is described for “s...