As of today, model-based testing (MBT) is considered as leading-edge technology in
industry. We sketch the different MBT variants that-according to our experience-are currently …

Why are living things alive? As a theoretical biologist, Robert Rosen saw this as the most
fundamental of all questions-and yet it had never been answered satisfactorily by science …

Web services orchestration and choreography Page 1 0018-9162/03/$17.00 © 2003 IEEE 46
Computer COVER FEATURE Published by the IEEE Computer Society Web Services …

This note addresses the history of process algebra as an area of research in concurrency
theory, the theory of parallel and distributed systems in computer science. Origins are traced …

Automated and semi-automated manipulation of so-called labelled transition systems has
become an important means in discovering flaws in software and hardware systems …

Security protocols are one of the most critical elements in enabling the secure
communication and processing of information, ensuring its confidentiality, integrity …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …

Power dissipation is rapidly becoming a limiting factor in high performance microprocessor
design due to ever increasing device counts and clock rates. The 21264 is a third generation …