4340 search results - page 56 / 868 » Formal Methods and Cryptography |
123
Voted
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
123
Voted
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
117
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
146
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
127
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...