2132 search results - page 54 / 427 » Automated software winnowing |
153
click to vote
IEEECIT
2009
IEEE
16 years 19 days ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
192
click to vote
ISSTA
2009
ACM
16 years 15 days ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
159
click to vote
CCS
2007
ACM
16 years 5 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
DAC
2000
ACM
16 years 7 months ago
2000
ACM
147
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...