3579 search results - page 191 / 716 » Transformations of software models into performance models |
137
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
153
Voted
WSC
1997
15 years 6 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
130
click to vote
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
156
Voted
VALUETOOLS
2006
ACM
15 years 11 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
128
Voted
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...