536 search results - page 96 / 108 » A computer verified, monadic, functional implementation of t... |
118
click to vote
CUZA
2002
14 years 11 months ago
2002
In this paper we present a mechanism for serializing the execution-state of a distributed Java application that is implemented on a conventional Object Request Broker (ORB) archite...
129
click to vote
CADE
1998
Springer
15 years 3 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 ...
111
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
ENTCS
2002
14 years 11 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
132
click to vote
EKAW
1992
Springer
15 years 3 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...