49 search results - page 9 / 10 » pc 1998 |
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ACL
1998
13 years 8 months ago
1998
This paper presents a practical foreign language writing support tool which makes it much easier to utilize dictionary and example sentence resources. Like a Kana-Kanji conversion...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
The overhead of copying data through the central processor by a message passing protocol limits data transfer bandwidth. If the network interface directly transfers the user'...
RTAS
1998
IEEE
13 years 11 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...
CADE
1998
Springer
13 years 11 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 ...