2623 search results - page 312 / 525 » tools 2010 |
114
Voted
WH
2010
14 years 7 months ago
2010
What is the role of face-to-face interactions in the diffusion of health-related behaviors- diet choices, exercise habits, and long-term weight changes? We use co-location and com...
113
click to vote
WH
2010
14 years 7 months ago
2010
The advancement of precision micropower amplifiers, microcontrollers, and MEMs devices have allowed for a paradigm shift from traditionally large and costly health monitoring equi...
121
Voted
ICSOC
2010
Springer
14 years 11 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
97
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
100
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...