656 search results - page 33 / 132 » A Formalization of Transition P Systems |
72
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
MSS
2008
IEEE
15 years 17 days ago
2008
IEEE
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a t...
107
Voted
FORTEST
2008
15 years 2 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
116
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
: Since the advent of Gnutella, Peer-to-Peer (P2P) protocols have matured towards a fundamental design element for large-scale, self-organising distributed systems. Many research e...
95
Voted
FAC
1998
15 years 9 days ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...