3381 search results - page 382 / 677 » Extending Dependencies with Conditions |
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
184
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
188
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
169
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Threshold devices present information gathered from the home's surroundings to give new views on the domestic situation. We built two prototypes of different threshold device...
171
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We performed an empirical study exploring people's interactions with an embodied conversational agent (ECA) while performing two tasks. Conditions varied with respect to 1) w...