6812 search results - page 23 / 1363 » Detection of Information Flows |
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Network traffic modeling generally views traffic as a superposition of flows that creates a timeseries of volume counts (e.g. of bytes or packets). What is omitted from this view ...
CJ
2010
14 years 7 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
DEBS
2009
ACM
15 years 4 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on highspeed netw...