4480 search results - page 290 / 896 » Prototyping Completion with Constraints Using Computational ... |
193
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Forming secure associations between wireless devices that do not share a prior trust relationship is an important problem. This paper presents ProxiMate, a system that allows wire...
155
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Today's user is surrounded by mobile appliances that continuously disrupt his activities through instant message, email and phone call notifications. In this paper, we presen...
197
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
177
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
A significant body of work in multiagent systems over more than two decades has focused on multi-agent coordination (1). Many challenges in multi-agent coordination can be modeled ...
198
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...