2935 search results - page 553 / 587 » An Integrated Approach to High Integrity Software Verificati... |
111
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
145
Voted
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
141
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: In recent years, mammalian protein-protein interaction network databases have been developed. The interactions in these databases are either extracted manually from lo...
135
click to vote
JSS
2007
15 years 4 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
132
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...