6800 search results - page 272 / 1360 » Testing with Functions as Specifications |
170
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Previous methods of network anomaly detection have focused on defining a temporal model of what is "normal," and flagging the "abnormal" activity that does not...
218
click to vote
CEFP
2009
Springer
15 years 4 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
211
click to vote
SIAMREV
2010
15 years 27 days ago
2010
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
178
click to vote
NAR
2011
14 years 9 months ago
2011
GreenPhylDB is a database designed for comparative and functional genomics based on complete genomes. Version 2 now contains sixteen full genomes of members of the plantae kingdom...
147
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
A fault fj is said to dominate another fault fi if all tests for fi detect fj . When two faults dominate each other, they are called equivalent. Dominance and equivalence relation...