Sciweavers

2287 search results - page 70 / 458
» Peer data exchange
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 3 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
KBSE
2008
IEEE
14 years 3 months ago
The Consistency of Web Conversations
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrent...
GLOBECOM
2006
IEEE
14 years 2 months ago
Minutes Trading in The International Long-Distance Voice Market
 This paper outlines trends reshaping the business of International Long Distance (ILD) voice minutes trading. Our analysis is centered on Arbinet’s business model: an electro...
Stefano Bregni, Giacomo Bruzzi, Maurizio Decina
AINA
2008
IEEE
14 years 3 months ago
XOP: Sharing XML Data Objects through Peer-to-Peer Networks
This paper describes an architecture for sharing data in XML format through a peer-to-peer (P2P) network, which interconnects devices ranging from high-end servers to mobile devic...
Itamar de Rezende, Frank Siqueira
ICDCS
2008
IEEE
14 years 3 months ago
On the Impact of Mobile Hosts in Peer-to-Peer Data Networks
Peer-to-peer (P2P) data networks dominate Internet traffic. In this work, we study the problems that arise when mobile hosts participate in P2P networks. We primarily focus on th...
Zhenyun Zhuang, Sandeep Kakumanu, Yeonsik Jeong, R...