6047 search results - page 964 / 1210 » Modeling with Extend |
118
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
135
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
127
click to vote
EPEW
2009
Springer
15 years 10 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
120
Voted
FC
2009
Springer
15 years 10 months ago
2009
Springer
Online advertisers face substantial difficulty in selecting and supervising small advertising partners: Fraud can be well-hidden, and limited reputation systems reduce accountabili...
129
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...