3082 search results - page 142 / 617 » Deviation Analysis: A New Use of Model Checking |
173
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
167
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
193
click to vote
ICOIN
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose a novel congestion control mechanism of TCP, by using an inline network measurement technique. By using information of available bandwidth of a network pa...
161
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
176
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...