Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
Ilkka Jormanainen, Yuejun Zhang, Kinshuk, Erkki Su...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
We propose a new service for building user-defined 3D anatomic structures on the Web. The Web server is connected to a data base storing more than 1000 3D anatomic models reconstr...
The paper presents a virtual reality modeling system based on interactive web technologies. The system’s goal is to provide a user-friendly virtual environment for the developme...