3750 search results - page 76 / 750 » Timed Automata Patterns |
102
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
118
click to vote
JLP
2010
14 years 9 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
124
click to vote
ENTCS
2006
15 years 2 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
238
click to vote
IWSOS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract This paper depicts and evaluates an evolutionary design process for generating a complex self-organizing multicellular system based on Cellular Automata (CA). We extend th...
111
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we study the problem of mining frequent sequences satisfying a given regular expression. Previous approaches to solve this problem were focusing on its search space,...