4341 search results - page 365 / 869 » Quantitative Model checking |
165
click to vote
WSC
2007
15 years 9 months ago
2007
The construction process is subject to an array of influences, both from internal and external environments, which makes the process performance uncertain and difficult to predict...
192
click to vote
EMNLP
2007
15 years 8 months ago
2007
We compare and contrast the strengths and weaknesses of a syntax-based machine translation model with a phrase-based machine translation model on several levels. We briefly descr...
148
click to vote
WIAS
2010
15 years 5 months ago
2010
Spatial agent models can be used to explore self-organising effects such as pattern growth and segregation. We employ our predator-prey model to study these emergent behaviours in...
165
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
176
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...