56 search results - page 6 / 12 » A Practical Computer Adaptive Testing Model for Small-Scale ... |
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
ASM
2010
ASM
13 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
WONS
2005
IEEE
14 years 29 days ago
2005
IEEE
Reliable network simulators are important tools for research and development in the field of wireless communication. Although the ns-2 simulator is quite popular for testing wire...
ATAL
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
RECOMB
2004
Springer
14 years 7 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...