Search Sciweavers | Sciweavers

1000 search results - page 25 / 200

» Analysis of communication models in web service compositions

142

click to vote

INFOCOM
2006
IEEE

119views Communications» more INFOCOM 2006»

Minimum User-Perceived Interference Routing in Service Composition

16 years 6 days ago

Download cairo.cs.uiuc.edu

— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...

Li Xiao, Klara Nahrstedt

claim paper

Read More »

165

click to vote

ISORC
2005
IEEE

111views Distributed And Parallel Com...» more ISORC 2005»

Proof Slicing with Application to Model Checking Web Services

15 years 11 months ago

Download asusrl.eas.asu.edu

Web Services emerge as a new paradigm for distributed computing. Model checking is an important veriﬁcation method to ensure the trustworthiness of composite WS. abstraction and...

Hai Huang, Wei-Tek Tsai, Raymond A. Paul

claim paper

Read More »

117

click to vote

SAC
2003
ACM

70views Applied Computing» more SAC 2003»

Synchronization Analysis for Decentralizing Composite Web Services

15 years 11 months ago

Download lia.deis.unibo.it

Mangala Gowri Nanda, Neeran M. Karnik

claim paper