Sciweavers

394 search results - page 38 / 79
» Composition mechanisms for retrenchment
Sort
View
ACRI
2004
Springer
14 years 2 months ago
A Hybrid Discrete-Continuum Model for 3-D Skeletogenesis of the Vertebrate Limb
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
Rajiv Chaturvedi, Chengbang Huang, Jesús A....
EDO
2006
Springer
14 years 9 days ago
Service communities: applications and middleware
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
Stefan Tai, Nirmit Desai, Pietro Mazzoleni
CBSE
2008
Springer
13 years 10 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
ENTCS
2006
146views more  ENTCS 2006»
13 years 8 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2007
107views more  ENTCS 2007»
13 years 8 months ago
Applications = Components + GLoo
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
Markus Lumpe