2004 search results - page 106 / 401 » Interaction nets: programming language design and implementa... |
126
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
This article outlines a number of important research issues in human-computer interaction in the e-commerce environment. It highlights some of the challenges faced by users in bro...
149
Voted
JANCL
2006
15 years 5 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
148
click to vote
ACHI
2009
IEEE
15 years 8 months ago
2009
IEEE
We present in this paper a web-based version of a Scrabble game, describing its architecture and some implementation details. This architecture makes possible a high degree of int...
147
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
162
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...