1180 search results - page 28 / 236 » Total Functional Software Engineering - Overview Paper |
DAC
2002
ACM
15 years 11 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
100
click to vote
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...
108
click to vote
ISESE
2006
IEEE
15 years 4 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
ITNG
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
KBSE
2005
IEEE
15 years 4 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...