2212 search results - page 85 / 443 » Automated software wrapping |
215
Voted
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
121
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
The widespread use of mobile and wireless computing platforms is leading to a growing interest on dependability issues. Several research studies have been conducted on dependabili...
127
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
: Detection of instances of design patterns is useful for the software maintenance. This paper proposes a new framework for the automated detection of instances of design patterns....
111
Voted
WSC
2008
15 years 6 months ago
2008
There are two key issues in assuring the accuracy of estimates of performance obtained from a simulation model. The first is the removal of any initialisation bias, the second is ...
129
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...