1547 search results - page 217 / 310 » The Isabelle Collections Framework |
104
Voted
SUTC
2008
IEEE
15 years 7 months ago
2008
IEEE
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
92
Voted
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we describe an analysis tool based on the statistical environment R, GridR, which allows using the collection of methodologies available as R packages in a grid env...
85
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we propose an endpoint-based joint network-host anomaly detection technique to detect selfpropagating malicious codes. Our proposed technique is based on the obs...
91
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
The problem of evaluating scientific publications and their authors is important, and as such has attracted increasing attention. Recent graph-theoretic ranking approaches have d...