659 search results - page 121 / 132 » Using formal models to design user interfaces: a case study |
143
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
163
click to vote
ACMSE
2005
ACM
15 years 7 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...
238
click to vote
ICDE
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we explore a new paradigm for data management in which a third party service provider hosts "database as a service" providing its customers seamless mecha...
169
click to vote
SC
2009
ACM
15 years 12 months ago
2009
ACM
MapReduce provides a parallel and scalable programming model for data-intensive business and scientific applications. MapReduce and its de facto open source project, called Hadoop...
147
click to vote
AVI
2010
15 years 6 months ago
2010
To increase its credibility and preserve the trust of its readers, Wikipedia needs to ensure a good quality of its articles. To that end, it is critical for Wikipedia administrato...