882 search results - page 29 / 177 » Analysis of Composite Corridors |
KES
2005
Springer
14 years 2 months ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of...
ENTCS
2007
13 years 8 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
FTDCS
1997
IEEE
14 years 26 days ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
ECRTS
2007
IEEE
14 years 3 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...