Sciweavers

2452 search results - page 189 / 491
» The Case for Precision Sharing
Sort
View
DANCE
2002
IEEE
16 years 13 days ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
184
Voted
FUN
2010
Springer
238views Algorithms» more  FUN 2010»
16 years 9 days ago
Mapping an Unfriendly Subway System
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
Paola Flocchini, Matthew Kellett, Peter C. Mason, ...
169
Voted
IWCMC
2009
ACM
16 years 5 days ago
Interference and throughput analyses in dual-polarized wireless networks subject to Rayleigh fading
This paper investigates the impact of the polarization on the achievable throughput and the probability of successful transmission in the cellular network architectures. A channel...
Jean-Michel Dricot, François Horlin, Philip...
185
Voted
FASE
2009
Springer
16 years 3 days ago
Algorithms for Automatically Computing the Causal Paths of Failures
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
William N. Sumner, Xiangyu Zhang
176
Voted
FCT
2001
Springer
15 years 12 months ago
Divisibility Monoids: Presentation, Word Problem, and Rational Languages
Abstract. We present three results on divisibility monoids. These divisibility monoids were introduced in [11] as an algebraic generalization of Mazurkiewicz trace monoids. (1) We ...
Dietrich Kuske