2108 search results - page 177 / 422 » An Operational Semantics for Stateflow |
180
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
175
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
In access-control systems, policy rules conflict when they prescribe different decisions (ALLOW or DENY) for the same access. We present the results of a user study that demonstr...
184
click to vote
FAST
2011
14 years 9 months ago
2011
Although Flash Memory based Solid State Drive (SSD) exhibits high performance and low power consumption, a critical concern is its limited lifespan along with the associated relia...
166
click to vote
AAAI
2011
14 years 6 months ago
2011
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
138
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...