Software Technologies: Applications and Foundations
STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Page
%P
7 Result(s)
-
Chapter and Conference Paper
Classification of Biochemical Pathway Robustness with Neural Networks for Graphs
Dynamical properties of biochemical pathways are often assessed by performing numerical (ODE-based) or stochastic simulations. These methods are often computationally very expensive and require reliable quanti...
-
Chapter and Conference Paper
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
In this paper we investigate dynamic causalities in membrane systems by proposing the concept of “predictor”, originally defined in the context of Ehrenfeucht and Rozemberg’s reaction systems. The goal is to c...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
Among Model Checking tools, the behaviour of a system is often formalized as a transition system with atomic propositions associated with states (Kripke structure). In current modelling languages, transitions are...
-
Chapter and Conference Paper
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
Membrane systems can be seen either as generators or as acceptors of multiset languages. In this paper we compare the expressive power of membrane systems working in accepting mode with that of membrane system...
-
Chapter and Conference Paper
The Calculus of Loo** Sequences
We describe the Calculus of Loo** Sequences (CLS) which is suitable for modeling microbiological systems and their evolution. We present two extensions, CLS with links (LCLS) and Stochastic CLS. LCLS simplif...
-
Chapter and Conference Paper
Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
Long-running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These transactions are not atomic and, i...
