809 search results - page 143 / 162 » Requirements by Contracts allow Automated System Testing |
61
Voted
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
CRV
2005
IEEE
15 years 5 months ago
2005
IEEE
The work presented here solves two major problems of hand pose recognition: (A) determining what pose is shown in a given, input picture and (B) detecting the presence of a known ...
PODC
2005
ACM
15 years 5 months ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
137
click to vote
TCGOV
2005
Springer
15 years 5 months ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...