3082 search results - page 411 / 617 » Deviation Analysis: A New Use of Model Checking |
151
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper suggests that, to match an ideal Internet gateway which rigorously enforces fair sharing among competing TCP connections, an ideal TCP sender should possess two propert...
212
click to vote
MODELLIERUNG
2001
15 years 7 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
168
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Using a recently proposed model for combinatorial landscapes, Local Optima Networks (LON), we conduct a thorough analysis of two types of instances of the Quadratic Assignment Prob...
217
click to vote
BMCBI
2004
15 years 6 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...
194
click to vote
KES
2007
Springer
15 years 6 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...