656 search results - page 39 / 132 » A Formalization of Transition P Systems |
117
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
103
Voted
ICCS
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
112
click to vote
INFORMATICALT
2008
15 years 18 days ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
87
Voted
ENTCS
2007
15 years 17 days ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
111
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...