Sciweavers

2863 search results - page 368 / 573
» Constructing minimum-interference networks
Sort
View
120
Voted
DSN
2004
IEEE
15 years 7 months ago
Does Your Result Checker Really Check?
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
138
Voted
DSN
2006
IEEE
15 years 7 months ago
Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
Jennie Palmer, Isi Mitrani
114
Voted
BPM
2003
Springer
92views Business» more  BPM 2003»
15 years 7 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork
AINA
2008
IEEE
15 years 5 months ago
Formalization of Link Farm Structure Using Graph Grammar
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
Kiattikun Chobtham, Athasit Surarerks, Arnon Rungs...
111
Voted
EUC
2008
Springer
15 years 5 months ago
RT-P2P: A Scalable Real-Time Peer-to-Peer System with Probabilistic Timing Assurances
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
Fei Huang, Binoy Ravindran, E. Douglas Jensen