2935 search results - page 101 / 587 » An Integrated Approach to High Integrity Software Verificati... |
140
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
The implementation of bounded-delay services over integrated services networks relies admission control mechanisms that in turn use end-to-end delay computation algorithms. For gu...
135
click to vote
ISPASS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a specialized memory structure called CA-RAM (Content Addressable Random Access Memory) to accelerate search operations present in many important real-world ap...
102
click to vote
ELPUB
2003
ACM
15 years 9 months ago
2003
ACM
s and that of abstracts generated automatically. Despite highly promising results achieved by luation, readability of abstracts must be further improved by integrating additional h...
137
click to vote
TSE
1998
15 years 4 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
170
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...