548 search results - page 56 / 110 » Liberate Computer User from Programming |
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
ACMSE
2005
ACM
13 years 9 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
SC
2009
ACM
14 years 2 months ago
2009
ACM
Algorithmic choice is essential in any problem domain to realizing optimal computational performance. Multigrid is a prime example: not only is it possible to make choices at the ...
ENTCS
2006
13 years 7 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
UIST
2003
ACM
14 years 27 days ago
2003
ACM
This paper offers a solution to the mode problem in computer sketch/notetaking programs. Conventionally, the user must specify the intended "draw" or "command"...