10447 search results - page 422 / 2090 » The Philosophy of Computer Science |
146
click to vote
ACSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
196
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
188
click to vote
LISA
2007
15 years 9 months ago
2007
Usher is a virtual machine management system designed to impose few constraints upon the computing environment under its management. Usher enables administrators to choose how the...
194
click to vote
TSMC
2008
15 years 6 months ago
2008
This correspondence presents an approach to the detection and isolation of component failures in large-scale systems. In the case of sensors that report at rates of 1 Hz or less, t...
240
click to vote
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...