3742 search results - page 307 / 749 » On the Use of Formal Techniques for Validation |
183
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
174
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
178
click to vote
WAW
2007
Springer
16 years 24 days ago
2007
Springer
Traceroute sampling is an important technique in exploring the internet router graph and the autonomous system graph. Although it is one of the primary techniques used in calculati...
155
click to vote
ICSEA
2006
IEEE
16 years 21 days ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
192
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...