Sciweavers

428 search results - page 33 / 86
» A Rule Based Approach to the Service Composition Life-Cycle
Sort
View
WWW
2005
ACM
16 years 16 days ago
Advanced fault analysis in web service composition
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
Anna Goy, Claudia Picardi, Daniele Theseider Dupr&...
TVLSI
2008
124views more  TVLSI 2008»
14 years 11 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
ICECCS
2008
IEEE
168views Hardware» more  ICECCS 2008»
15 years 6 months ago
Ubiquitous Service Regulation Based on Dynamic Rules
Ubiquitous computing systems can be regarded as open systems where heterogeneous and previously unknown entities may spontaneously interact, due to intrinsic mobility of users and...
José Viterbo Filho, Markus Endler, Jean-Pie...
ICWS
2009
IEEE
15 years 9 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
AINA
2009
IEEE
15 years 6 months ago
A New Approach to Model Web Services' Behaviors Based on Synchronization
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Jam...