1109 search results - page 84 / 222 » Software verification for TinyOS |
134
Voted
ISSRE
2010
IEEE
14 years 12 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
129
click to vote
WETICE
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
224
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
143
click to vote
SOCO
2010
Springer
14 years 8 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
114
Voted
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...