1743 search results - page 119 / 349 » Generalized Modal Satisfiability |
97
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
213
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
101
Voted
PERCOM
2004
ACM
16 years 13 days ago
2004
ACM
Ubiquitous computing environments accrete slowly over time rather than springing into existence all at once. Mechanisms are needed for incremental integration-the problem of how t...
91
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Despite the considerable quantity of research directed towards multitouch technologies, a set of standardized UI components have not been developed. Menu systems provide a particu...
93
Voted
MIR
2010
ACM
15 years 7 months ago
2010
ACM
Vision-based user interfaces enable natural interaction modalities such as gestures. Such interfaces require computationally intensive video processing at low latency. We demonstr...