472 search results - page 49 / 95 » The Case for Informed Transport Protocols |
102
click to vote
ENTCS
2007
15 years 1 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
106
click to vote
CRYPTO
2012
Springer
13 years 4 months ago
2012
Springer
In collusion-free protocols, subliminal communication is impossible and parties are thus unable to communicate “any information beyond what the protocol allows”. Collusion-fre...
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
ISPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
Data replication permits a better network bandwidth utilization and minimizes the effect of latency in large-scale systems such as computing grids. However, the cost of maintainin...
132
click to vote
TIT
2008
15 years 12 days ago
2008
We introduce a new state discrimination problem in which we are given additional information about the state after the measurement, or more generally, after a quantum memory bound ...