9006 search results - page 75 / 1802 » Modeling Software |
123
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
112
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
117
click to vote
CAISE
1999
Springer
15 years 6 months ago
1999
Springer
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
113
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
120
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...