Sciweavers

2337 search results - page 94 / 468
» Is the Open Way a Better Way
Sort
View
JLP
2010
83views more  JLP 2010»
15 years 11 days ago
Stronger compositions for retrenchments
Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (...
Richard Banach, Czeslaw Jeske
220
Voted
LADC
2011
Springer
14 years 8 months ago
Timing Analysis of Leader-Based and Decentralized Byzantine Consensus Algorithms
—We compare in an analytical way two leader-based and decentralized algorithms (that is, algorithms that do not use a leader) for Byzantine consensus with strong validity. We sho...
Fatemeh Borran, Martin Hutle, André Schiper
JUCS
2006
89views more  JUCS 2006»
15 years 5 months ago
Process Equivalences as Global Bisimulations
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
135
Voted
ICIP
2003
IEEE
16 years 7 months ago
PDE-based denoising of complex scenes using a spatially-varying fidelity term
The widely used denoising algorithms based on nonlinear diffusion, such as Perona-Malik and total variation denoising, modify images toward piecewise constant functions. Though ed...
Guy Gilboa, Yehoshua Y. Zeevi, Nir A. Sochen
ICC
2009
IEEE
125views Communications» more  ICC 2009»
16 years 10 days ago
Impact of Alliances on End-to-End QoS Satisfaction in an Interdomain Network
Abstract—This paper focuses on QoS guarantees in an interdomain selfish network where each domain may sell QoS guarantees for its transit traffic. The main objective of the pap...
Dominique Barth, Thierry Mautor, Daniel Villa Mont...