10159 search results - page 345 / 2032 » System Design Validation Using Formal Models |
120
Voted
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
122
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
138
Voted
IJNSEC
2010
14 years 10 months ago
2010
Secure networks rely upon players to maintain security and reliability. However not every player can be assumed to have total loyalty and one must use methods to uncover traitors ...
130
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
127
click to vote
CMOT
2000
15 years 3 months ago
2000
Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...