3619 search results - page 250 / 724 » Humor modeling in the interface |
172
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
137
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Selection is a fundamental task in interactive applications, typically performed by clicking or lassoing items of interest. However, users may require more nuanced forms of select...
181
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Browsing the Web on mobile phones has finally hit the mass. The visualization of websites on latest mobile phone models comes close to what we are used from desktop computers. Tai...
177
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
178
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...