Sciweavers

321 search results - page 17 / 65
» InterWeave: A Middleware System for Distributed Shared State
Sort
View
ICDCSW
2002
IEEE
14 years 13 days ago
Peer-to-Peer for Collaborative Applications
Peer-to-peer systems recently captured the attention of practitioners and researchers as they provide an attractive alternative to client-server architectures. Peerto-peer enables...
Gianpaolo Cugola, Gian Pietro Picco
IADIS
2004
13 years 9 months ago
A middleware platform supporting electronic service markets
The Internet today can be seen as a global market for electronic services. Each provider can offer its services, and customers can choose between several providers offering simila...
Dirk Thissen
HYBRID
2007
Springer
14 years 1 months ago
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
Bruno Gaujal, Florence Perronnin
PDPTA
2004
13 years 8 months ago
Service Oriented Web Based Meta Resource Sharing Platform - The CBWeB Portal
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...
Avinash Shankar, Daniel Saffioti, Ian Piper, Ashwi...
CAV
2007
Springer
122views Hardware» more  CAV 2007»
13 years 11 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...