7952 search results - page 1523 / 1591 » Methods for Measuring Usability |
165
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
121
Voted
ISESE
2006
IEEE
15 years 9 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
165
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
135
Voted
IMC
2006
ACM
15 years 9 months ago
2006
ACM
Pattern matching and analysis over network data streams is increasingly becoming an essential primitive of network monitoring systems. It is a fundamental part of most intrusion d...
140
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...