129 search results - page 9 / 26 » Quantitative and Qualitative Aspects of Object-Oriented Soft... |
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
122
click to vote
FPL
2007
Springer
15 years 5 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
118
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
In this paper we discuss a pilot user study that compares the use of two integrated development environments (IDEs), Eclipse and Gild, by novice programmers. Gild is a perspective...
110
click to vote
CIDM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— A Bayes net has qualitative and quantitative aspects: The qualitative aspect is its graphical structure that corresponds to correlations among the variables in the Baye...