6800 search results - page 544 / 1360 » Testing with Functions as Specifications |
170
click to vote
KDD
2001
ACM
16 years 8 months ago
2001
ACM
Clustering algorithms have become increasingly important in handling and analyzing data. Considerable work has been done in devising effective but increasingly specific clustering...
181
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
This paper presents a study of finger-based text entry for mobile devices with touchscreens. Many devices are now coming to market that have no physical keyboards (the Apple iPhon...
312
click to vote
POPL
2005
ACM
16 years 8 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
206
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
193
click to vote
COSIT
2009
Springer
16 years 2 months ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...