6343 search results - page 1160 / 1269 » Development of a Cartographic Language |
KDD
1999
ACM
15 years 2 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
VLDB
1999
ACM
15 years 2 months ago
1999
ACM
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
115
click to vote
CADE
1998
Springer
15 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 ...
129
click to vote
WOSP
1998
ACM
15 years 2 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
HOTOS
1997
IEEE
15 years 2 months ago
1997
IEEE
To an unappreciated degree, research both in operating systems andtheirprogramminglanguageshasbeen severely hampered by the lack of cleanly reusable code providing mundanelow-leve...