Sciweavers

401 search results - page 10 / 81
» Synthesis from Component Libraries
Sort
View
WWW
2005
ACM
14 years 2 months ago
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli...
ECSA
2010
Springer
13 years 10 months ago
From Web Components to Web Services: Opening Development for Third Parties
One of the main advantages of the Web component-based development paradigm is the ability to build customizable and composable web application modules as independent units of devel...
Chouki Tibermacine, Mohamed Lamine Kerdoudi
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
14 years 1 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
ACSC
2005
IEEE
14 years 2 months ago
A Formal Approach to Component Adaptation and Composition
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
David Hemer
SIGSOFT
1993
ACM
14 years 1 months ago
Scalable Software Libraries
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...
Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff T...