IFIP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. VoIP has become a major application of multimedia communications over IP. Many initiatives around the world focus on the detection of attacks against VoIP services and in...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
There is a great potential for mutual beneficial synergies between the two fields of Collaborative Networks and Sustainability science. This potential has in fact been recognized i...
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We consider the randomized k-server problem, and give improved results for various metric spaces. In particular, we extend a recent result of Cot
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
ADT
2010
13 years 5 months ago
2010
Abstract In this survey, the currently available ultrawideband-based non-line-of-sight (NLOS) identification and error mitigation methods are presented. They are classified into se...
ADT
2010
13 years 5 months ago
2010
