6293 search results - page 200 / 1259 » Information Flow Testing |
133
click to vote
CDC
2008
IEEE
15 years 5 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...
130
Voted
IASSE
2004
15 years 4 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...
125
Voted
SIGMETRICS
2008
ACM
15 years 3 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 ...
115
click to vote
ICALT
2006
IEEE
15 years 9 months 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...
132
Voted
ASUNAM
2010
IEEE
15 years 5 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...