5130 search results - page 953 / 1026 » Constraint Query Languages |
99
Voted
RTCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
124
Voted
WWW
2005
ACM
15 years 6 months ago
2005
ACM
As more and more Web services are deployed, Web service’s discovery mechanisms become essential. Similar services can have quite different QoS behaviors. For service selection ...
100
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We examine the problem of keyboard acoustic emanations. We present a novel attack taking as input a 10-minute sound recording of a user typing English text using a keyboard, and t...
90
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
123
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...