3358 search results - page 490 / 672 » Parametric Aspects: A Proposal |
176
click to vote
CSFW
2005
IEEE
16 years 3 days 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...
173
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...
187
click to vote
DEXAW
2005
IEEE
16 years 3 days ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
158
click to vote
ICCV
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a quality assessment procedure for correspondence estimation based on geometric coherence rather than ground truth. The procedure can be used for performance evaluation...
164
click to vote
ICDCS
2005
IEEE
16 years 3 days ago
2005
IEEE
— The allocation of IP addresses in hybrid wireless networks is one of the most critical issues in all-IP converged wireless networks. The reason is that centralized IP address a...