3899 search results - page 627 / 780 » Argumentation for Access Control |
162
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
217
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
145
click to vote
DRM
2003
Springer
15 years 11 months ago
2003
Springer
We set out to examine whether current, DRM-based online offerings of music and movies accord with consumers’ current expectations regarding the personal use of copyrighted works...
155
click to vote
ECOOPW
2003
Springer
15 years 11 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
152
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes our continued work of a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a gro...