4212 search results - page 723 / 843 » Rights Expression Languages |
149
Voted
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...
145
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
This study examines the acceptance and usability of an animated conversational agent designed to establish longterm relationships with older, mostly minority adult users living in...
163
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We present Breakaway, an ambient display that encourages people, whose job requires them to sit for long periods of time, to take breaks more frequently. Breakaway uses the inform...
176
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
141
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...