Sciweavers

482 search results - page 56 / 97
» Publisher Mobility in Distributed Publish Subscribe Systems
Sort
View
109
Voted
SEKE
2001
Springer
15 years 6 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
IPPS
2007
IEEE
15 years 8 months ago
Shrack: Description and Performance Evaluation of a Peer-to-Peer System for Document Sharing and Tracking using Pull-Only Inform
Shrack is a peer-to-peer framework for document sharing and tracking. Shrack peers provide support to researchers in forming direct collaboration in autonomous sharing and keeping...
Hathai Tanta-ngai, Vlado Keselj, Evangelos E. Mili...
122
Voted
IPPS
2003
IEEE
15 years 7 months ago
A Web Service-Based Experiment Management System for the Grid
We have developed the ZENTURIO experiment management system for performance studies, parameter studies, and software testing of parallel applications on cluster and Grid architect...
Radu Prodan, Thomas Fahringer
122
Voted
ECRTS
2004
IEEE
15 years 5 months ago
Comparing Real-Time Communication Under Electromagnetic Interference
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
Ian Broster, Alan Burns, Guillermo Rodrígue...
DEBU
2010
138views more  DEBU 2010»
14 years 11 months ago
A Rule-Based Citation System for Structured and Evolving Datasets
We consider the requirements that a citation system must fulfill in order to cite structured and evolving data sets. Such a system must take into account variable granularity, con...
Peter Buneman, Gianmaria Silvello