4564 search results - page 623 / 913 » Data Integration Using ID-Logic |
104
click to vote
SPW
2004
Springer
15 years 8 months ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
118
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
128
click to vote
CSB
2003
IEEE
15 years 8 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
112
Voted
ISMAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper overviews our research on digital preservation of cultural assets and digital restoration of their original appearance. Geometric models are digitally achieved through ...
125
click to vote
VR
2003
IEEE
15 years 8 months ago
2003
IEEE
An Augmented Virtual Environment (AVE) fuses dynamic imagery with 3D models. The AVE provides a unique approach to visualize and comprehend multiple streams of temporal data or im...