20511 search results - page 3758 / 4103 » On the level |
250
click to vote
CADE
1998
Springer
15 years 12 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 ...
236
click to vote
MOBICOM
1998
ACM
15 years 12 months ago
1998
ACM
In this paper we introduce universal mobile channels, a le communications abstraction that enables users and service providers to program application-speci c adaptive mobile servi...
266
click to vote
NSPW
1998
ACM
15 years 12 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
187
click to vote
SIGCOMM
1998
ACM
15 years 12 months ago
1998
ACM
Recent studies provide evidence that Quality ofService QoS routing can provide increased network utilization compared to routing that is not sensitive to QoS requirements of tra...
220
click to vote
DL
1998
Springer
15 years 12 months ago
1998
Springer
The recent explosion of on-line information in Digital Libraries and on the World Wide Web has given rise to a number of query-based search engines and manually constructed topica...