9316 search results - page 13 / 1864 » Analysis of traceback techniques |
BWCCA
2010
13 years 2 months ago
2010
A wireless sensor network (WSN) is envisioned as a cluster of tiny power-constrained devices with functions of sensing and communications. Sensors closer to a sink node have a larg...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
CAV
2012
Springer
11 years 9 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
DOCENG
2005
ACM
13 years 9 months ago
2005
ACM
COMCOM
2006
13 years 7 months ago
2006
In relation to its growth in size and user population, the Internet faces new challenges that have triggered the proposals of value-added network services, e.g., IP multicast, IP ...