377 search results - page 22 / 76 » Extra-Music(ologic)al Models for Algorithmic Composition |
DATE
2005
IEEE
14 years 11 days ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
SAC
2005
ACM
14 years 10 days ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
LICS
1990
IEEE
13 years 10 months ago
1990
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. Howev...
CAV
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
APSEC
2002
IEEE
13 years 11 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...