488 search results - page 78 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
151
click to vote
KES
2007
Springer
15 years 3 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
170
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: High-density oligonucleotide microarray technology enables the discovery of genes that are transcriptionally modulated in different biological samples due to physiolog...
155
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
128
click to vote
JUCS
2010
14 years 10 months ago
2010
: Visualizing and understanding large conceptual schemas requires the use of specific methods. These methods generate clustered, summarized, or focused schemas that are easier to v...
119
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...