747 search results - page 95 / 150 » Theory and Construction of Molecular Computers |
131
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
149
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
177
click to vote
RSCTC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
141
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
148
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...