656 search results - page 61 / 132 » A Formalization of Transition P Systems |
105
click to vote
CAEPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
127
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
95
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
100
click to vote
DSRT
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
114
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...