2419 search results - page 455 / 484 » A Formal Approach to Software Testing |
TOCHI
1998
13 years 7 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
INFFUS
2011
12 years 11 months ago
2011
We provide a sensor fusion framework for solving the problem of joint ego-motion and road geometry estimation. More specifically we employ a sensor fusion framework to make syste...
ISCA
2009
IEEE
14 years 2 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...