We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
Recently, the importance of creating authoring support for adaptive hypermedia system design offering multimodality and personalization is becoming evident [4][5][6][7][1]. In the...
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
Susan W. van den Braak, Gerard Vreeswijk, Henry Pr...
This paper summarizes the organizational and technical issues involved in creating a digital library of Native American images. Initial participants include a museum, an archives, ...
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...