Sciweavers

1690 search results - page 151 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
SAGA
2007
Springer
15 years 10 months ago
Communication Problems in Random Line-of-Sight Ad-Hoc Radio Networks
The line-of-sight networks is a network model introduced recently by Frieze et al. (SODA’07). It considers scenarios of wireless networks in which the underlying environment has...
Artur Czumaj, Xin Wang
SIGMETRICS
2010
ACM
217views Hardware» more  SIGMETRICS 2010»
15 years 4 months ago
Optimal recovery of single disk failure in RDP code storage systems
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...
Liping Xiang, Yinlong Xu, John C. S. Lui, Qian Cha...
CORR
2007
Springer
121views Education» more  CORR 2007»
15 years 4 months ago
Iterative Filtering for a Dynamical Reputation System
The paper introduces a novel iterative method that assigns a reputation to n + m items: n raters and m objects. Each rater evaluates a subset of objects leading to a n × m rating...
Cristobald de Kerchove, Paul Van Dooren
DKE
2007
99views more  DKE 2007»
15 years 4 months ago
Interaction pattern detection in process oriented information systems
Finding interaction patterns is a challenging problem, but this kind of information about processes or social networks might be useful for an organization’s management to unders...
Schahram Dustdar, Thomas Hoffmann
CADE
2006
Springer
16 years 4 months ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman