3909 search results - page 267 / 782 » Extreme Model Checking |
139
Voted
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
It is well known that the base composition along eukaryotic genomes is long-range correlated. Here, we investigate the effect of such long-range correlations on alignment score sta...
124
click to vote
VMV
2001
15 years 4 months ago
2001
This paper presents a new approach to achieve elementary neighborhood operations on both 2D and 3D binary images by using the Extreme Vertices Model (EVM), a recent orthogonal pol...
136
click to vote
VAMOS
2008
Springer
15 years 4 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
107
Voted
JWE
2006
15 years 3 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
148
click to vote
DATESO
2010
15 years 1 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...