132 search results - page 4 / 27 » Using Model Checking to Debug Device Firmware |
CHI
2008
ACM
16 years 2 months ago
2008
ACM
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
229
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
JMM2
2007
15 years 1 months ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
151
click to vote
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
110
Voted
FORTE
2004
15 years 3 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...