1234 search results - page 165 / 247 » Privacy-preserving Virtual Machine |
95
Voted
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a distributed architecture for the management and retrieval of particular objects called POIsmarts. POIsmarts can be considered as the convergence between virt...
134
Voted
SCAM
2005
IEEE
15 years 9 months ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
118
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
131
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
119
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
Device drivers account for the majority of an operating system’s code base, and reuse of the existing driver infrastructure is a pragmatic requirement of any new OS project. New...