3069 search results - page 24 / 614 » Thinking about Technology |
ICTIR
2009
Springer
14 years 4 months ago
2009
Springer
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
COOPIS
1993
IEEE
14 years 2 months ago
1993
IEEE
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...