4488 search results - page 659 / 898 » Properties of NP-Complete Sets |
166
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
159
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
152
Voted
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
192
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces a new method for surface reconstruction from multiple calibrated images. The primary contribution of this work is the notion of local prior to combine the ...
185
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Many location-based applications require constant monitoring of k-nearest neighbor (k-NN) queries over moving objects within a geographic area. Existing approaches to this problem...