1356 search results - page 23 / 272 » The ideal of verified software |
SPIN
2004
Springer
15 years 5 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...
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
118
click to vote
FAC
2010
14 years 9 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
ICONIP
2007
15 years 1 months ago
2007
Multiclass gene selection and classification of cancer are rapidly gaining attention in recent years, while conventional rank-based gene selection methods depend on predefined idea...
ECEASST
2008
14 years 11 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...