852 search results - page 97 / 171 » entcs 2010 |
104
Voted
ENTCS
2006
15 years 16 days ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
112
Voted
ENTCS
2006
15 years 16 days ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
69
Voted
ENTCS
2006
15 years 16 days ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
ENTCS
2006
15 years 16 days ago
2006
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
83
Voted
ENTCS
2006
15 years 16 days ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...