2216 search results - page 186 / 444 » Integration of Usability Techniques into the Software Develo... |
130
Voted
CBMS
2003
IEEE
15 years 9 months ago
2003
IEEE
The market for health care systems supporting physicians and improving their daily routine is steadily growing. The development of these systems requires handling medical knowledg...
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
139
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
169
click to vote
AVBPA
1997
Springer
15 years 8 months ago
1997
Springer
Automated processing of facial images has become a serious market for both hard- and software products. For the commercial success of face recognition systems it is most crucial th...
126
click to vote
CPE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...