3948 search results - page 623 / 790 » Integration Workbench: Integrating Schema Integration Tools |
156
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
145
click to vote
ICADL
2005
Springer
16 years 1 days ago
2005
Springer
Exploratory search over a collection often requires users to iteratively apply a variety of strategies, such as searching for more general or more specific concepts in reaction to ...
176
click to vote
ICMI
2005
Springer
16 years 1 days ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...
197
click to vote
IFM
2005
Springer
16 years 1 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
212
click to vote
NLDB
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. A large amount of biological knowledge today is only available from full-text research papers. Since neither manual database curators nor users can keep up with the rapid...