Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
This paper briefly considers several research issues, some of which are on-going and some others are for further research. The starting point is that many AI topics, especially th...
In this paper some research questions which potentially lie within the purview of the new discipline of Computational Transportation Science are presented. Some of these questions...
Improving the quality of life of elderly people is an emerging issue within our information society for both research and development. This paper addresses some issues on the devel...
Andreas Holzinger, Gig Searle, Alexander K. Nische...
– The paper presents some experiences in developing a virtual environment using a videogame engine. It provides the details and the caveats met during development, with particula...
Roberto Andreoli, Rosario De Chiara, Ugo Erra, Ant...