: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
The imminent mass deployment of pervasive computing technologies such as sensor networks and RFID tags, together with the increasing participation of the Web community in feeding ...
Gabriella Castelli, Alberto Rosi, Marco Mamei, Fra...
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...