2796 search results - page 204 / 560 » A time structure based software reliability model |
175
click to vote
ICCS
1999
Springer
15 years 8 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
127
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
146
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
169
click to vote
ECUMN
2004
Springer
15 years 7 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
136
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...