2451 search results - page 202 / 491 » The Octagon Abstract Domain |
198
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Process Mining is a technique for extracting process models from execution logs. This is particularly useful in situations where people have an idealized view of reality....
194
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
190
click to vote
APCSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
200
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
211
click to vote
SEDE
2010
15 years 5 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...