1833 search results - page 284 / 367 » Mechanized Verification with Sharing |
146
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
133
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
A large class of security attacks exploit software implementation vulnerabilities such as unchecked buffers. This paper proposes Transparent Runtime Randomization (TRR), a general...
137
click to vote
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
Energy constrained systems such as sensor networks can increase their usable lifetimes by extracting energy from their environment. However, environmental energy will typically no...
132
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...
135
click to vote
SIGCOMM
2003
ACM
15 years 9 months ago
2003
ACM
Napster pioneered the idea of peer-to-peer file sharing, and supported it with a centralized file search facility. Subsequent P2P systems like Gnutella adopted decentralized sea...