2004 search results - page 268 / 401 » Comparison of Model Checking Tools for Information Systems |
152
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
138
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
The constraint of a third camera in stereo vision is a useful tool for reducing ambiguity in matching. Most of the systems using trinocular stereo to date however, have used confi...
140
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Mathematical modeling for gene regulative networks (GRNs) provides an effective tool for hypothesis testing in biology. A necessary step in setting up such models is the estimati...
154
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
145
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...