77 search results - page 9 / 16 » Quantitative Analysis of UML Statechart Models of Dependable... |
104
click to vote
WICSA
2004
14 years 10 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
COORDINATION
2009
Springer
15 years 23 days ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
100
click to vote
MATES
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
AICCSA
2007
IEEE
15 years 3 months ago
2007
IEEE
:- A software product spends more than 65% of its lifecycle in maintenance. Software systems with good maintainability can be easily modified to fix faults. In this paper, we adapt...
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...