3948 search results - page 346 / 790 » Integration Workbench: Integrating Schema Integration Tools |
158
click to vote
ISQED
2006
IEEE
16 years 21 days ago
2006
IEEE
— A methodology is proposed for interdependent setup time and hold time characterization of sequential circuits. Integrating the methodology into an industrial sign-off static ti...
144
click to vote
DEXAW
2005
IEEE
16 years 9 days ago
2005
IEEE
Despite the importance of analytical tools to organisations, they still lack the inference power needed to solve the requests of decision mak...
181
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
158
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
179
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...