3742 search results - page 241 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
148
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
179
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
160
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
165
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we consider transistor sizing to reduce crosstalk. First, crosstalk noise dependency on wire width, wire spacing, driver and receiver sizes are discussed, and valida...