76 search results - page 4 / 16 » The groupthink specification exercise |
APSEC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
SPW
1999
Springer
13 years 12 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...
FATES
2003
Springer
14 years 26 days ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
TSE
1998
13 years 7 months ago
1998
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
COMPSEC
2006
13 years 7 months ago
2006
To address national needs for computer security education, many universities have incorporated computer and security courses into their undergraduate and graduate curricula. In th...