Sciweavers

6800 search results - page 262 / 1360
» Testing with Functions as Specifications
Sort
View
DEXAW
2005
IEEE
170views Database» more  DEXAW 2005»
15 years 11 months ago
Functional Annotation of Genes through Statistical Analysis of Biomedical Articles
One of the most elaborate and important tasks in biology is the functional annotation of genes. Biologists have developed standardized and structured vocabularies, called bio-onto...
Theodosios Theodosiou, Lefteris Angelis, Athena Va...
179
Voted
EUROCRYPT
2007
Springer
15 years 10 months ago
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
Yi Deng, Dongdai Lin
EWC
2000
90views more  EWC 2000»
15 years 6 months ago
Function in Device Representation
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
B. Chandrasekaran, John R. Josephson
SIGSOFT
2007
ACM
16 years 6 months ago
Program representations for testing wireless sensor network applications
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
Nguyet T. M. Nguyen, Mary Lou Soffa
168
Voted
IOLTS
2007
IEEE
120views Hardware» more  IOLTS 2007»
16 years 13 days ago
Accelerating Soft Error Rate Testing Through Pattern Selection
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
Alodeep Sanyal, Kunal P. Ganeshpure, Sandip Kundu