8337 search results - page 1440 / 1668 » Reasoning With Characteristic Models |
247
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
172
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Cardinality estimation during query optimization relies on simplifying assumptions that usually do not hold in practice. To diminish the impact of inaccurate estimates during opti...
138
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
252
click to vote
ASC
2007
16 years 4 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
140
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...