1079 search results - page 178 / 216 » Predictive testing: amplifying the effectiveness of software... |
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
ROBOCOMM
2007
IEEE
15 years 4 months ago
2007
IEEE
— We describe a system that provides a low-cost, portable control station for experimentation in mobile robotic telesurgery. The software and hardware implementation of our syste...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
101
click to vote
IUI
2003
ACM
15 years 3 months ago
2003
ACM
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...