2487 search results - page 422 / 498 » cases 2009 |
104
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...
113
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
99
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...
217
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
200
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...