5243 search results - page 995 / 1049 » Reasoning About Strategies |
166
click to vote
DFT
2006
IEEE
16 years 2 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...
149
click to vote
ICDM
2006
IEEE
16 years 1 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
click to vote
IROS
2006
IEEE
16 years 22 hour 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...
183
click to vote
ISESE
2006
IEEE
16 years 17 hour 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...
162
click to vote
SKG
2006
IEEE
16 years 9 hour 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...