45 search results - page 2 / 9 » asm 2008 |
ISTA
2008
14 years 10 months ago
2008
68
Voted
ASM
2008
ASM
14 years 11 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...
ASM
2008
ASM
14 years 11 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...
JUCS
2008
14 years 9 months ago
2008
In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly foun...
112
click to vote
ASM
2008
ASM
14 years 11 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...