5243 search results - page 995 / 1049 » Reasoning About Strategies |
168
Voted
DFT
2006
IEEE
16 years 6 days ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
150
Voted
ICDM
2006
IEEE
16 years 6 days ago
2006
IEEE
Manual debugging is expensive. And the high cost has motivated extensive research on automated fault localization in both software engineering and data mining communities. Fault l...
146
Voted
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Grasp quality measures are important for understanding how to plan for and maintain appropriate and secure grasps for pick and place operations and tool use. Most grasp...
184
Voted
ISESE
2006
IEEE
16 years 5 days ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
163
Voted
SKG
2006
IEEE
16 years 5 days ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...