329 search results - page 14 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
BMCBI
2010
13 years 4 months ago
2010
Background: Models for the simulation of metabolic networks require the accurate prediction of enzyme function. Based on a genomic sequence, enzymatic functions of gene products a...
CAV
2009
Springer
14 years 7 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
FORTEST
2008
13 years 9 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...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...