1940 search results - page 228 / 388 » The Dynamic Logic of Permission |
199
click to vote
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
198
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
201
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
183
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
162
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...