10159 search results - page 1800 / 2032 » System Design Validation Using Formal Models |
277
click to vote
GIS
2003
ACM
16 years 7 months ago
2003
ACM
With wireless communications and geo-positioning being widely available, it becomes possible to offer new e-services that provide mobile users with information about other mobile ...
154
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
261
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...
181
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
200
click to vote
LOCWEB
2009
ACM
16 years 1 months ago
2009
ACM
As a tool for mitigating the potential privacy risks of gathering and transmitting location information on the Web, we suggest in this paper a model for conveying location informa...