3131 search results - page 303 / 627 » Generalized connection caching |
150
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The globalization of Oracle's development organization, customer base, and product lines has had an ongoing impact on the evolution of the Oracle UI Group (OUI). It has chang...
209
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Advances in hardware, storage, devices, connectivity, and web technology are changing the way applications are designed, deployed, and managed. Applications are increasingly becom...
186
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
183
click to vote
ALT
2005
Springer
16 years 3 months ago
2005
Springer
Efficient learnability using the state merging algorithm is known for a subclass of probabilistic automata termed µ-distinguishable. In this paper, we prove that state merging alg...
191
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Employee blogging has benefits both for individuals and the organization. In order to inspire the creation of blog posts, we developed a novel topic suggestion system that connect...