11217 search results - page 2170 / 2244 » Network Coding for Wireless Networks |
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
116
click to vote
KNINVI
2005
Springer
15 years 3 months ago
2005
Springer
The timeworn claim that a picture is worth a thousand words is generally well-supported by empirical evidence, suggesting that diagrams and other information graphics can enhance h...
RAID
2005
Springer
15 years 3 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
ACNS
2004
Springer
15 years 3 months ago
2004
Springer
Internet service providers have resisted deploying Denial-of-Service (DoS) protection mechanisms despite numerous research results in the area. This is so primarily because ISPs ca...
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...