3948 search results - page 532 / 790 » Integration Workbench: Integrating Schema Integration Tools |
163
click to vote
ECBS
2005
IEEE
16 years 9 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
168
click to vote
CASSIS
2004
Springer
16 years 2 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
123
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract Information agents are cooperative agents whose main goal is to collaborate and assist task agents like mobile agents in obtaining information from heterogeneous data sour...
181
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
179
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...