1755 search results - page 82 / 351 » An efficient simulation algorithm based on abstract interpre... |
141
click to vote
DEBS
2009
ACM
15 years 6 months ago
2009
ACM
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
120
click to vote
EOR
2010
15 years 3 months ago
2010
We consider the problem of accurately measuring the credit risk of a portfolio consisting of loans, bonds and other financial assets. One particular performance measure of interes...
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
156
click to vote
ER
2008
Springer
15 years 4 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
128
click to vote
ICCAD
2009
IEEE
15 years 20 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...