There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
A need exists to develop groupware systems that adapt to available resources and support user mobility. This paper presents DACIA, a system that provides mechanisms for building s...
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
This paper discusses the concept of validation and proposes a multistage validation framework for traffic simulation models. The framework consists of conceptual validation and op...