2451 search results - page 17 / 491 » The Octagon Abstract Domain |
165
click to vote
SIAMSC
2010
15 years 3 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
176
click to vote
CNSM
2010
2010
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
15 years 3 months ago
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
170
click to vote
GI
2010
Springer
15 years 3 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
148
click to vote
TPLP
2002
15 years 5 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
118
click to vote
ICDM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Support analytics (i.e., statistical analysis, modeling and mining of customer/operations support tickets data) is important in service industries. In this paper, we adop...