391 search results - page 44 / 79 » Compositionality for Probabilistic Automata |
148
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
118
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
146
Voted
TCS
2011
14 years 9 months ago
2011
Fuzzy cellular automata (FCA) are continuous cellular automata where the local rule is defined as the “fuzzification" of the local rule of a corresponding Boolean cellula...
119
click to vote
AIIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
101
click to vote
ENTCS
2008
15 years 2 months ago
2008
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...