1054 search results - page 158 / 211 » From a Verified Kernel towards Verified Systems |
159
click to vote
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
207
click to vote
CCECE
2006
IEEE
16 years 6 days 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...
193
click to vote
QEST
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
161
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
170
click to vote
AMDO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...