1878 search results - page 42 / 376 » Efficient Performance Models in Component-Based Software Eng... |
129
Voted
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
136
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
110
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
130
Voted
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
160
Voted
CBSQ
2003
Springer
15 years 8 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...