5525 search results - page 286 / 1105 » Verification of Model Transformations |
144
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
152
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
142
click to vote
WSC
2008
15 years 7 months ago
2008
Cluster tools have been one of the proposed alternatives to improve operations performance in semiconductor fabrication. The benefits include high yield throughput, less contamina...
120
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
151
click to vote
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...