License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-26134
URL:

Structured Interactive Musical Scores

pdf-format:


Abstract

Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a heterogeneous system that controls in one subsystem the concurrent execution of the objects using ntcc, and audio and video processing in the other. We also plan to develop an automatic verifier for ntcc.

BibTeX - Entry

@InProceedings{torobermudez:LIPIcs:2010:2613,
  author =	{Mauricio Toro-Bermudez},
  title =	{{Structured Interactive Musical Scores}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{300--302},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Manuel Hermenegildo and Torsten Schaub},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2613},
  URN =		{urn:nbn:de:0030-drops-26134},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.300},
  annote =	{Keywords: Ntcc, ccp, interactive scores, temporal relations, faust, ntccrt, heterogeneous systems, automatic verification}
}

Keywords: Ntcc, ccp, interactive scores, temporal relations, faust, ntccrt, heterogeneous systems, automatic verification
Seminar: Technical Communications of the 26th International Conference on Logic Programming
Issue date: 2010
Date of publication: 2010


DROPS-Home | Fulltext Search | Imprint Published by LZI