2877 search results - page 160 / 576 » Computational Biology |
158
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
159
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
141
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
123
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
141
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...