377 search results - page 5 / 76 » Extra-Music(ologic)al Models for Algorithmic Composition |
RTSS
1995
IEEE
13 years 10 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
CCE
2004
13 years 6 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
ECOWS
2006
Springer
13 years 8 months ago
2006
Springer
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
CAISE
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we present an autonomous and scalable WSMO-based methodology to describe quality of service (QoS) and geographic features of e-services in a peer-to-peer based envir...
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...