Search Sciweavers | Sciweavers

1000 search results - page 25 / 200

» Analysis of communication models in web service compositions

click to vote

INFOCOM
2006
IEEE

119views Communications» more INFOCOM 2006»

Minimum User-Perceived Interference Routing in Service Composition

14 years 2 months 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 »

click to vote

ISORC
2005
IEEE

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

Proof Slicing with Application to Model Checking Web Services

14 years 2 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 »

click to vote

SAC
2003
ACM

70views Applied Computing» more SAC 2003»

Synchronization Analysis for Decentralizing Composite Web Services

14 years 2 months ago

Download lia.deis.unibo.it

Mangala Gowri Nanda, Neeran M. Karnik

claim paper

Read More »