23704 search results - page 60 / 4741 » Data and Information as Property |
182
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
101
click to vote
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
During teleoperation, the automatic identification of remote environment properties has the potential of improving performance by providing task-specific feedback to the operator. ...
HAPTICS
2007
IEEE
15 years 8 months ago
2007
IEEE
When we recognize objects, multiple sensory information (e.g., visual, auditory, and haptic) is used with fusion. For example, both eyes and hands provide relevant information abo...
133
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
120
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...