2413 search results - page 80 / 483 » Models for universal usability |
92
Voted
HPDC
2000
IEEE
15 years 5 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...
113
Voted
SOFTWARE
2002
15 years 12 days 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...
80
Voted
CSL
2007
Springer
15 years 7 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
15 years 7 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 ...
95
Voted
ELPUB
1999
ACM
15 years 5 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...