16725 search results - page 2872 / 3345 » Engineering Software Correctness |
226
click to vote
MMSEC
2006
ACM
16 years 24 days ago
2006
ACM
This paper presents a theoretical security analysis of lattice data hiding. The security depends on the secrecy of a dither signal that randomizes the codebook. If the same secret...
191
click to vote
NETGAMES
2006
ACM
16 years 24 days ago
2006
ACM
This paper proposes a hybrid architecture for distributed virtual environments, utilizing servers alongside peer-to-peer components. Current research into peer-based systems seeks...
166
click to vote
PLDI
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
196
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
144
click to vote
SIGMETRICS
2006
ACM
16 years 24 days ago
2006
ACM
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...