2774 search results - page 462 / 555 » Query-Driven Program Testing |
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Concurrent multithreaded architectures exploit both instruction-level and thread-level parallelism through a combination of branch prediction and thread-level control speculation. ...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
Question classification is very important for question answering. This paper presents our research work on automatic question classification through machine learning approaches. W...