Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
On September 5, 2006, a legal precedent was set for web accessibility. Federal judge Marilyn Patel sustained discrimination claims by the National Federation for the Blind against...
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...
— This work is motivated by the interest in finding significant movements in financial stock prices. The detection of such movements is important because these could represent...
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
Peter Votruba, Andreas Seyfang, Michael Paesold, S...