626 search results - page 59 / 126 » When Can Formal Methods Make a Real Difference |
119
Voted
TPDS
2008
15 years 3 months ago
2008
Communication is a primary source of energy consumption in wireless sensor networks. Due to resource constraints, the sensor nodes may not have enough energy to report every readin...
237
Voted
NFM
2011
14 years 10 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
145
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—Generating a secret key between two parties by extracting the shared randomness in the wireless fading channel is an emerging area of research. Previous works focus mainly on si...
141
Voted
NIPS
2000
15 years 4 months ago
2000
When trying to recover 3D structure from a set of images, the most di cult problem is establishing the correspondence between the measurements. Most existing approaches assume tha...
134
click to vote
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Database-centric applications (DCAs) are common in enterprise computing, and they use nontrivial databases. Testing of DCAs is increasingly outsourced to test centers in order t...