127 search results - page 26 / 26 » Towards reasonability properties for access-control policy l... |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
GIS
2008
ACM
14 years 5 months ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...