4099 search results - page 99 / 820 » A Framework for Interactive Proof |
ISWC
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
UIC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
INTERNET
2006
14 years 9 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...