15792 search results - page 14 / 3159 » Computational Abstraction Steps |
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
COMPUTER
2007
13 years 7 months ago
2007
SYNASC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
TCS
2010
13 years 6 months ago
2010
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...
SAC
2004
ACM
14 years 1 months ago
2004
ACM