6799 search results - page 353 / 1360 » The Tao of Modeling Spaces |
180
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
145
click to vote
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
139
click to vote
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
This paper focuses on modelling and visualisation of mineral shells of foraminifera (unicellular aquatic, mainly marine, organisms). Our recent model follows the moving reference a...
179
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the s...
132
click to vote
AMC
2005
15 years 6 months ago
2005
This paper considers a basic model for a spread of two diseases in a population. The equilibria of the model are found, and their stability is investigated. In particular, we prov...