1350 search results - page 268 / 270 » Generalized Committed Choice |
MOBISYS
2011
ACM
12 years 8 months ago
2011
ACM
Resource constrained mobile devices need to leverage computation on nearby servers to run responsive applications that recognize objects, people, or gestures from real-time video....
POPL
2011
ACM
12 years 8 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
SIGMOD
2011
ACM
12 years 8 months ago
2011
ACM
Facebook recently deployed Facebook Messages, its first ever user-facing application built on the Apache Hadoop platform. Apache HBase is a database-like layer built on Hadoop des...
ALDT
2011
Springer
12 years 6 months ago
2011
Springer
A variety of preference aggregation schemes and voting rules have been developed in social choice to support group decision making. However, the requirement that participants provi...
ATAL
2011
Springer
12 years 6 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...