2468 search results - page 447 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
120
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Video matting, or layer extraction, is a classic inverse problem in computer vision that involves the extraction of foreground objects, and the alpha mattes that describe their op...
132
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
143
click to vote
APN
2007
Springer
15 years 9 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
129
click to vote
ICNP
2005
IEEE
15 years 8 months ago
2005
IEEE
While extensive efforts have been devoted to providing optimization based, distributed congestion control schemes for efficient bandwidth utilization and fair allocation in both ...
115
click to vote
PODC
2009
ACM
16 years 3 months ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...