6800 search results - page 147 / 1360 » Testing with Functions as Specifications |
TMI
2010
13 years 4 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
TVLSI
2010
13 years 4 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
DKE
2008
13 years 9 months ago
2008
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
NAR
2006
13 years 9 months ago
2006
Rice Mutant Database (RMD, http://rmd.ncpgr.cn) is an archive for collecting, managing and searching information of the T-DNA insertion mutants generated by an enhancer trap syste...
HCI
2009
13 years 7 months ago
2009
Abstract. Within OASIS, a set of detailed Use Cases have been developed, after capturing the specific needs of elderly users on the use and acquisition of services for the support ...