2488 search results - page 31 / 498 » An improvement in formal verification |
TSE
2002
13 years 9 months ago
2002
BPM
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
CACM
2010
13 years 10 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
HF
2002
13 years 9 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer