Sciweavers

2422 search results - page 138 / 485
» Composition of Services with Constraints
Sort
View
AINA
2009
IEEE
14 years 2 months ago
DAVO: A Domain-Adaptable, Visual BPEL4WS Orchestrator
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
Tim Dörnemann, Markus Mathes, Roland Schwarzk...
ICWS
2009
IEEE
14 years 6 months ago
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations
—In this paper we extend our previous work on soft probabilistic contracts for QoS management, from the particular case of “response time”, to general QoS parameters. Our stu...
Sidney Rosario, Albert Benveniste, Claude Jard
APSEC
2007
IEEE
14 years 1 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
SIGSOFT
2009
ACM
14 years 10 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
VTC
2008
IEEE
110views Communications» more  VTC 2008»
14 years 3 months ago
FFT Sign Search with Secondary Code Constraints for GNSS Signal Acquisition
— New GNSS signals are usually characterized by the presence of secondary codes and high data rates that can make the sign of the transmitted signal change each primary code peri...
Daniele Borio