15792 search results - page 14 / 3159 » Computational Abstraction Steps |
114
Voted
TACAS
2010
Springer
15 years 10 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
15 years 3 months ago
2007
107
Voted
SYNASC
2005
IEEE
15 years 9 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 ...
116
Voted
TCS
2010
15 years 1 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...
81
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM