994 search results - page 92 / 199 » Declarative Programming of User Interfaces |
144
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...
135
Voted
ADVIS
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
129
Voted
WSC
1997
15 years 6 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
139
click to vote
JAR
2010
15 years 3 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
222
click to vote
ICDE
1997
IEEE
16 years 6 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...