6293 search results - page 200 / 1259 » Information Flow Testing |
169
click to vote
CDC
2008
IEEE
15 years 8 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...
174
click to vote
IASSE
2004
15 years 8 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
182
click to vote
SIGMETRICS
2008
ACM
15 years 6 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 ...
156
click to vote
ICALT
2006
IEEE
16 years 19 days ago
2006
IEEE
This study of the flow of online discussions examined how earlier messages affected later messages along five dimensions: (1) evaluations (agree, disagree, or unresponsive actions...
177
click to vote
ASUNAM
2010
IEEE
15 years 8 months ago
2010
IEEE
The last decade has seen an explosion in blogging and the blogosphere is continuing to grow, having a large global reach and many vibrant communities. Researchers have been pouring...