351 search results - page 17 / 71 » Properties of Behavioural Model Merging |
123
Voted
CAAN
2004
Springer
15 years 9 months ago
2004
Springer
We consider a generalized copy model of the web graph and related networks, and analyze its limiting behaviour. The model is motivated by previously proposed copying models of the ...
121
click to vote
KES
2004
Springer
15 years 9 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
112
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
134
Voted
EDOC
2000
IEEE
15 years 8 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
134
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...