Previous research in mobile data management has been focused on scenarios where mobile clients replace fixed ones. However, not all potential application fields of mobile computing fit into this scenario. There exist scenarios where mobile clients will not replace but accompany fixed ones. In this paper we introduce a real world application scenario requiring the capability to process a transac...

It is widely recognised that the automated validation of complex systems can hardly be achieved without tool integration. The development of the IF-1.0 toolbox [3] has been initiated several years ago, in order to provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox has been built upon an in...

The paper presents specific aspects regarding the modern modeling & simulation techniques of the mechanical systems, such as digital mock-up and functional virtual prototyping. The following specific aspects are taken into consideration: the advantages of the system-focused simulation techniques relative to the traditional ones, the software components of the virtual prototyping platform and th...