2844 search results - page 511 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
154
click to vote
CCS
2009
ACM
16 years 24 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
170
click to vote
ESWS
2009
Springer
16 years 17 days ago
2009
Springer
This proposal explores the promotion of existing relational databases to Semantic Web Endpoints. It presents the benefits of ontologybased read and write access to existing relati...
167
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
166
click to vote
FIW
2003
15 years 7 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
177
click to vote
LOGCOM
2010
15 years 24 days ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...