56 search results - page 12 / 12 » KeY-C: A Tool for Verification of C Programs |
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...