145 search results - page 13 / 29 » Generalizing the AGM postulates: preliminary results and app... |
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
There has usually been a clean separation between networks and the applications that use them. Applications send packets over a simple socket API; the network delivers them. Howev...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes a novel tool for eliciting user requirements early in the design process of mobile applications. The “Mobile Oracle”, as we have called it, is intended to...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
NETGAMES
2005
ACM
14 years 2 months ago
2005
ACM
Ranking is necessary for multiplayer online games to provide players with self-complacence and reference for choosing game counterparts. Most existing ranking solutions are tightl...
ICLP
2007
Springer
14 years 27 days ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...