4035 search results - page 628 / 807 » Useless Actions Are Useful |
207
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
287
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The data base concept derives from early military on-line systems, and was not originally associated with the specific technologies of modern data base management systems. While t...
182
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
170
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
188
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...