740 search results - page 93 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Tablet PCs are gaining popularity but many older adults still struggle with pointing, particularly with two error types: missing, landing and lifting outside the target bounds; an...
130
click to vote
MOBILITY
2009
ACM
15 years 6 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
111
click to vote
SAJ
2000
15 years 1 months ago
2000
Presence in Collaborative Virtual Environments (CVEs) can be classified into personal presence and co-presence. Personal presence is having a feeling of "being there" in...
128
click to vote
TON
2012
13 years 3 months ago
2012
—Multiparty interactive network applications such as teleconferencing, network gaming, and online trading are gaining popularity. In addition to end-to-end latency bounds, these ...
133
click to vote
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...