Sciweavers

167 search results - page 6 / 34
» A Formal Approach to Component Adaptation and Composition
Sort
View
EUROPAR
2008
Springer
13 years 10 months ago
A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
Hinde-Lilia Bouziane, Christian Pérez, Thie...
CALCO
2009
Springer
172views Mathematics» more  CALCO 2009»
14 years 3 months ago
Coalgebraic Components in a Many-Sorted Microcosm
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokol...
FMOODS
2006
13 years 10 months ago
Synchronizing Behavioural Mismatch in Software Composition
Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related...
Carlos Canal, Pascal Poizat, Gwen Salaün
CBSE
2007
Springer
14 years 3 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
SOCO
2008
Springer
13 years 9 months ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot