6800 search results - page 797 / 1360 » Testing with Functions as Specifications |
187
click to vote
WOSS
2004
ACM
16 years 14 days ago
2004
ACM
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most effo...
170
click to vote
FPGA
2004
ACM
16 years 13 days ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
174
click to vote
ITS
2004
Springer
16 years 12 days ago
2004
Springer
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
170
click to vote
MABS
2004
Springer
16 years 12 days ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
205
click to vote
RECOMB
2004
Springer
16 years 12 days ago
2004
Springer
Transcription factor binding sites often contain several subtypes of sequences that follow not just one but several different patterns. We developed a novel sensitive method based ...