1454 search results - page 71 / 291 » Stateful traits and their formalization |
BIOTECHNO
2008
IEEE
15 years 7 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
108
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
113
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
111
Voted
RIAO
2007
15 years 2 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
113
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...