3579 search results - page 109 / 716 » Transformations of software models into performance models |
155
Voted
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
148
click to vote
SE
2008
15 years 5 months ago
2008
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
132
click to vote
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
140
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
189
Voted
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...