4116 search results - page 494 / 824 » The scalability of multigrain systems |
140
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
An Internet transaction is a transaction that involves communication over the Internet using standard Internet protocols such as HTTPS. Such transactions are widely used in Intern...
164
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of ? an ontological reasoning service which is used to...
161
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Shared text input is a technique we implemented into a note taking system for facilitating text entry on small devices. Instead of writing out words on the tedious text entry inte...
177
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
237
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Freebase is a practical, scalable tuple database used to structure general human knowledge. The data in Freebase is collaboratively created, structured, and maintained. Freebase c...