ECLAP Smart TV: video demonstrator, performing arts, social tv, smart tv for cultural heritage video and images, Dario Fo, Paolo Rossi, Franca Rame, connection with http://www.eclap.eu
Formal techniques for the specification of real-time systems must be capable of describing a set of relationships expressing the temporal constraints among events and actions: properties of ...
Temporal logics are typically used to specify and verify properties and thus requirements, to describe the system and prove that such a formalization meets the expected behavior. In this paper, ...
Museums are recently landed to the use of the information technology with wide applications: from digitalisation of their contents to use of the audioguide. Now multimedia museums market is ...
This paper presents a project called i-Maestro (www.i-maestro.org) which develops interactive multimedia environments for technology enhanced music education. The project explores novel solutions ...
In this thesis, aggregation forms in ECLAP focusing the attention on MyStoryPlayer/ECLAP solutions are presented. The major contributions to the state of the art are related to:
- the semantic ...