Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
Parosh Aziz Abdulla, Johan Deneaux, Gunnar St&arin...
- We describe the algorithms we have developed to automatically generate street networks and building plots in the automatic procedural creation of a realistic city. Our system fir...
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...