277 search results - page 49 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
128
click to vote
ACST
2006
15 years 1 months ago
2006
Pattern discovery in DNA sequences is one of the most challenging tasks in molecular biology and computer science. The main goal of pattern discovery in DNA sequences is to identi...
207
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
116
click to vote
SIGSOFT
2007
ACM
16 years 11 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
95
Voted
CHI
2007
ACM
16 years 18 hour ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
MSR
2006
ACM
15 years 5 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...