is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairall...
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals inte...
Dawud Gordon, Jan-Hendrik Hanne, Martin Berchtold,...
This paper describes the implementation of a demo that will be shown at the conference site. The demo of “softfinger grasping of physically based quasi-rigid objects” will pr...
Maurizio de Pascale, Gabriele Sarcuni, Domenico Pr...
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
The industry requires innovative technologies to support the numeric design and simulation of manufactured products in order to reduce time to market delays and improve the perfor...