To simplify the process of editing interactive video, we developed the concept of “detail-on-demand” video as a subset of general hypervideo. Detail-on-demand video keeps the ...
Andreas Girgensohn, Frank M. Shipman III, Lynn Wil...
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...