2061 search results - page 158 / 413 » Authorization for Metacomputing Applications |
133
click to vote
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
Peer-to-peer systems enable efficient resource aggregation and are inherently scalable since they do not depend on any centralized authority. However, lack of a centralized autho...
152
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
Existing hypertext systems have emphasized either the navigational or spatial expression of relationships between objects. We are exploring the combination of these modes of expre...
132
click to vote
SIGDOC
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
151
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Online training and support objects can be difficult and timeconsuming to create. Written words are often ignored by users who want someone to show them a procedure. Viewlets are ...
183
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...