72 search results - page 13 / 15 » Hierarchical Correctness Proofs for Distributed Algorithms |
TCSV
2010
13 years 2 months ago
2010
We describe a method for achieving perceptually minimal video distortion over packet-erasure networks using perceptually unequal loss protection (PULP). There are two main ingredie...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
ICS
2010
Tsinghua U.
13 years 11 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
POPL
2012
ACM
12 years 2 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...