4296 search results - page 344 / 860 » Modeling Information Sources for Information Integration |
155
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
167
Voted
GI
2003
Springer
15 years 11 months ago
2003
Springer
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
188
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
153
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a novel algorithm (which we call "FragTrack") for tracking an object in a video sequence. The template object is represented by multiple image fragments or pa...
171
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The web services technology provides an approach for developing distributed applications by using simple and well defined interfaces. Due to the flexibility of this architecture, ...