11160 search results - page 2055 / 2232 » Incompleteness in a General Setting |
156
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
176
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
A design pattern is a mechanism for encapsulating the knowledge of experienced designers into a re-usable artifact. Parallel design patterns reflect commonly occurring parallel co...
163
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
166
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
120
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
Sensor networks often involve the monitoring of mobile phenomena. We believe this task can be facilitated by a spatiotemporal multicast protocol which we call “mobicast”. Mobi...