2413 search results - page 80 / 483 » Models for universal usability |
HPDC
2000
IEEE
14 years 2 months ago
2000
IEEE
The unprecedented scale, heterogeneity, and varied usage patterns of grids pose significant technical challenges to any underlying file system that will support them. While grid...
SOFTWARE
2002
13 years 10 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
CSL
2007
Springer
14 years 4 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Group-Centric Secure Information Sharing (g-SIS) is motivated by the need to dynamically share information amongst a set of authorized users for a specific purpose. Authorized ...
ELPUB
1999
ACM
14 years 2 months ago
1999
ACM
Project Runeberg has been publishing Nordic literature on the Internet since 1992. The project is based at Linköping University, Sweden. In the fall of 1998 a series of experimen...