4460 search results - page 215 / 892 » Formal methods for interactive systems |
137
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
122
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
This paper introduces a new sensor architecture for making interactive surfaces that are sensitive to human hand and finger gestures. This sensor recognizes multiple hand position...
138
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
Peer-to-peer Data Networks (PDNs) are large-scale, selforganizing, distributed query processing systems. Familiar examples of PDN are peer-to-peer file-sharing networks, which su...
182
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
114
click to vote
PPAM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a peer-to-peer (P2P) system with remote method invocations, combining RMIX and JXTA technologies, and underpinning the H2O distributed resource sharing pl...