Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
This paper describes a research project about robot control across a computing Grid, ļ¬rst step toward a Grid solution for generic process control. A computational Grid can signiļ...
We present a methodology for the modeling of complex program behavior in CLP. In the ļ¬rst part we present an informal description about how to represent a system in CLP. At its ...
We describe a method for the speciļ¬cation and veriļ¬cation of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...