7952 search results - page 1523 / 1591 » Methods for Measuring Usability |
195
click to vote
IROS
2006
IEEE
16 years 8 days 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...
149
click to vote
ISESE
2006
IEEE
16 years 8 days 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...
211
click to vote
ACL2
2006
ACM
16 years 7 days 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...
178
click to vote
IMC
2006
ACM
16 years 6 days 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...
178
click to vote
ISSTA
2006
ACM
16 years 6 days 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...