606 search results - page 76 / 122 » A Comparative Study of Industrial Static Analysis Tools |
166
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
154
click to vote
CSCW
1992
ACM
15 years 10 months ago
1992
ACM
Our work focuses on providing computational support for informal communication among people who are geographically separated. To better understand the use of artifacts in communic...
171
click to vote
ATVA
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
187
click to vote
SENSYS
2004
ACM
15 years 11 months ago
2004
ACM
Habitat and environmental monitoring is a driving application for wireless sensor networks. We present an analysis of data from a second generation sensor networks deployed during...
147
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Network traffic can be represented by a Traffic Dispersion Graph (TDG) that contains an edge between two nodes that send a particular type of traffic (e.g., DNS) to one another. T...