Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios

Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia scenarios. Interactive scores (is) is a formalis...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of mathematics and music (Society for Mathematics and Computation in Music) Ročník 8; číslo 1; s. 93 - 112
Hlavní autoři:	Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Baton Rouge Taylor & Francis 02.01.2014 Taylor & Francis Ltd
Témata:	ccp concurrency concurrent constraint programming D.1.6 E.4 event structures H.5.5 interaction interactive music scores J.5 Music ntcc synchronization temporal constraint programming Theory of constraints
ISSN:	1745-9737, 1745-9745
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!