1234 search results - page 203 / 247 » Privacy-preserving Virtual Machine |
118
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
131
click to vote
ICN
2001
Springer
15 years 8 months ago
2001
Springer
We consider an SLA (Service Level Agreement) committed between two parties to use the guarantee of QoS provided by a QoS Enabled Network (QEN). QEN can provide guarantee of QoS bec...
118
Voted
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
97
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Currently available Set-Top-Boxes (STBs) are mainly used for digital TV reception. The User Interface (UI) and the UI dialog of such a device usually focus on its technological as...
137
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Reconstructing a physical map of a chromosome from a genomic library presents a central computational problem in genetics. Physical map reconstruction in the presence of errors is...