5344 search results - page 988 / 1069 » Privacy-Preserving Set Operations |
114
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
123
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
106
click to vote
WAOA
2005
Springer
15 years 7 months ago
2005
Springer
Cellular telephony systems, where locations of mobile users are unknown at some times, are becoming more common. In such systems, mobile users are roaming in a zone and a user repo...
124
click to vote
WINE
2005
Springer
15 years 7 months ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
120
click to vote
DMSN
2004
ACM
15 years 7 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...