794 search results - page 53 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
138
click to vote
FMICS
2010
Springer
15 years 23 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
99
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Modern applications for mobile devices, such as multimedia video/audio, often exhibit a common behavior: they process streams of incoming data in a regular, predictable way. The r...
114
click to vote
WCRE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
106
click to vote
EUROSPI
2004
Springer
15 years 6 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
109
Voted
BMCBI
2005
15 years 14 days ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...