887 search results - page 92 / 178 » A pattern-based approach to model software performance |
113
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
148
Voted
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
86
Voted
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
111
Voted
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...