Presently a very large number of public and private data sets are available around the local governments. In most cases, they are not semantically interoperable and a huge human effort is needed to create integrated ontologies and knowledge base for smart city.

Esempio MPEG-21 ebook: il moto uniforme cap 4, per iPad

Esempio di MPEG-21 ebook: il moto uniforme per ipad

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

Il progetto km4city mira a consentire l'interconnessione, stoccaggio e la successiva interrogazione di dati da molte fonti diverse, come i vari portali della regione Toscana ( MIIC, Muoversi in Toscana, Osservatorio dei Trasporti ), Dati aperti provoded dai singoli Comuni ( soprattutto Firenze).

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 invariance, precedence, periodicity, liveness and safety conditions, etc.

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, C-TILCO temporal logic is considered.

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 urging better pricing and value for money for their new products and services.

This paper presents a project called i-Maestro (www.i-maestro.org) which develops interactive multimedia environments for technology enhanced music education.

In this thesis, aggregation forms in ECLAP focusing the attention on MyStoryPlayer/ECLAP solutions are presented.