15792 search results - page 14 / 3159 » Computational Abstraction Steps |
85
Voted
TACAS
2010
Springer
15 years 6 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
14 years 11 months ago
2007
SYNASC
2005
IEEE
15 years 5 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
14 years 10 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
15 years 5 months ago
2004
ACM