1999 search results - page 169 / 400 » Dependently Typed Grammars |
160
click to vote
DOLAP
1999
ACM
15 years 10 months ago
1999
ACM
Recently numerous proposals for modelling and querying Multidimensional Databases (MDDB) are proposed. Among the still open problems there is a rigorous classification of the diff...
138
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
158
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
189
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
146
click to vote
SRDS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...