219 search results - page 42 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
81
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
108
click to vote
USS
2008
14 years 12 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
GCB
2008
Springer
14 years 10 months ago
2008
Springer
: Array-based analysis of chromatin immunoprecipitation data (ChIP-chip) is a powerful technique for identifying DNA target regions of individual transcription factors. Here, we pr...
ICIW
2008
IEEE
15 years 4 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...