3256 search results - page 589 / 652 » Applications of Formal Methods to System Design and Verifica... |
217
click to vote
GIS
2003
ACM
15 years 10 months ago
2003
ACM
This paper introduces an approach for closer integration of selforganizing maps into the visualization of spatio-temporal phenomena in GIS. It is proposed to provide a more explic...
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
We performed a content analysis of the information shared in a locally and culturally focused health application, EatWell. In EatWell, information is shared via the creation of au...
MM
2009
ACM
15 years 4 months ago
2009
ACM
Finding a destination in unfamiliar environments of complex office building or shopping mall has been always bothering us in daily life. Fine-scale directional guidance, a combina...
SOUPS
2009
ACM
15 years 4 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
100
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...