9842 search results - page 25 / 1969 » Compositional timing analysis |
EVOW
2003
Springer
14 years 25 days ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational busine...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
CHARME
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...