Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...