Sciweavers

4698 search results - page 1 / 940
» Making Functionality More General
Sort
View
FP
1991
95views Formal Methods» more  FP 1991»
13 years 8 months ago
Making Functionality More General
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
Graham Hutton, Ed Voermans
PEPM
2010
ACM
14 years 1 months ago
Making "stricterness" more relevant
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
Stefan Holdermans, Jurriaan Hage
ASSETS
2010
ACM
13 years 5 months ago
Leveraging proprioception to make mobile phones more accessible to users with visual impairments
Accessing the advanced functions of a mobile phone is not a trivial task for users with visual impairments. They rely on screen readers and voice commands to discover and execute ...
Frank Chun Yat Li, David Dearman, Khai N. Truong
ACMSE
2006
ACM
13 years 11 months ago
Framework design using function generalization: a binary tree traversal case study
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
H. Conrad Cunningham, Yi Liu, Pallavi Tadepalli
CSCW
2004
ACM
13 years 10 months ago
Meeting central: making distributed meetings more effective
The Meeting Central prototype is a suite of collaboration tools designed to support distributed meetings. The tools' minimalist design provides only those features that have ...
Nicole Yankelovich, William Walker, Patricia Rober...