Sciweavers

2337 search results - page 94 / 468
» Is the Open Way a Better Way
Sort
View
JLP
2010
83views more  JLP 2010»
13 years 2 months 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
LADC
2011
Springer
12 years 10 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»
13 years 7 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...
ICIP
2003
IEEE
14 years 9 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»
14 years 2 months 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...