4460 search results - page 409 / 892 » Formal methods for interactive systems |
135
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The evaluation of grammar inference systems is clearly a non-trivial task, as it is possible to have more than one correct grammar for a given language. The `looks good to me'...
164
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...
179
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
189
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
188
Voted
CW
2005
IEEE
16 years 13 days ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...