656 search results - page 48 / 132 » A Formalization of Transition P Systems |
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
94
Voted
ENTCS
2006
15 years 18 days ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
100
Voted
ENTCS
2007
15 years 16 days ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
SOSYM
2002
15 years 6 days ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
91
Voted
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...