8928 search results - page 1457 / 1786 » Modeling Current Events |
263
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
140
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
119
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
We report a work in progress: development and initial validation of the Product Interest and Engagement Scale (PIES), a short assessment instrument measuring consumer interest in ...
145
click to vote
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Femto cells are a cost-effective means of providing ubiquitous connectivity in future broadband wireless networks. While their primary purpose has been to improve coverage in curr...
149
click to vote
KDD
2003
ACM
16 years 5 months ago
2003
ACM
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...