115 search results - page 8 / 23 » Formal Verification of Human-Automation Interaction |
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ENTCS
2006
13 years 7 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
BPM
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...