3130 search results - page 344 / 626 » Design Correctness of Digital Systems |
168
Voted
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
160
click to vote
HRI
2006
ACM
2006
ACM
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
16 years 20 days ago
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
179
Voted
OTM
2005
Springer
16 years 5 days ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
187
click to vote
WDAG
2005
Springer
16 years 5 days ago
2005
Springer
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
129
click to vote
ICTAI
2000
IEEE
15 years 11 months ago
2000
IEEE
Knowledge refinement tools assist in the debugging and maintenance of knowledge based systems (KBSs) by attempting to identify and correct faults in the knowledge that account fo...