Sciweavers

2321 search results - page 268 / 465
» A Protocol for a Distributed Recommender System
Sort
View
VL
2003
IEEE
105views Visual Languages» more  VL 2003»
15 years 10 months ago
Visual composition of web services
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
Cesare Pautasso, Gustavo Alonso
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 8 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...
BIOWIRE
2007
Springer
15 years 10 months ago
Epcast: Controlled Dissemination in Human-Based Wireless Networks Using Epidemic Spreading Models
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
Salvatore Scellato, Cecilia Mascolo, Mirco Musoles...
MIDDLEWARE
2007
Springer
15 years 10 months ago
Peer-to-peer brokering of planning meta-data
In self-adaptive systems, metadata about resources in the system (e.g., services, nodes) must be dynamically published, updated, and removed. Current middleware approaches use sta...
Johannes Oudenstad, Frank Eliassen, Eli Gjø...
DSN
2003
IEEE
15 years 10 months ago
Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...
Péter Urbán, Ilya Shnayderman, Andr&...