In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Hybrid peer-to-peer architectures use special nodes to provide directory services for regions of the network (“regional directory services”). Hybrid peer-to-peer architectures...
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...
Abstract. We present a novel model for object recognition and detection that follows the widely adopted assumption that objects in images can be represented as a set of loosely cou...
Thomas Deselaers, Andre Hegerath, Daniel Keysers, ...
The Post-Anesthesia Care Unit (PACU) is a shared resource in the hospital where patients recover from surgery. It is fed by a set of Operating Rooms (OR's) often spanning sev...