3742 search results - page 733 / 749 » On the Use of Formal Techniques for Validation |
109
click to vote
SOUPS
2009
ACM
15 years 8 months ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...
108
click to vote
UIST
2009
ACM
15 years 8 months ago
2009
ACM
We present EverybodyLovesSketch, a gesture-based 3D curve sketching system for rapid ideation and visualization of 3D forms, aimed at a broad audience. We first analyze traditiona...
106
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
113
click to vote
SIGMETRICS
2005
ACM
15 years 7 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
149
Voted
W4A
2005
ACM
15 years 7 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to user...