Sciweavers

10072 search results - page 83 / 2015
» Composition of Model Programs
Sort
View
GPCE
2008
Springer
15 years 3 months ago
Code generation to support static and dynamic composition of software product lines
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
Marko Rosenmüller, Norbert Siegmund, Gunter S...
CCR
2004
147views more  CCR 2004»
15 years 1 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
JLP
2006
126views more  JLP 2006»
15 years 1 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
ADC
2004
Springer
113views Database» more  ADC 2004»
15 years 7 months ago
Web Service Composition Transaction Management
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...
Benchaphon Limthanmaphon, Yanchun Zhang