1729 search results - page 203 / 346 » Generic Haskell: Applications |
149
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
We describe a set of tools to support navigational hypermedia linking within audio (‘branching audio’) and between media types including audio. We have adopted an open hyperme...
136
click to vote
CRYPTO
1998
Springer
15 years 10 months ago
1998
Springer
We introduce delegation schemes wherein a user may delegate certain rights to himself, but may not safely delegate these rights to others. In our motivating application, a user ha...
161
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
170
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
160
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...