Sciweavers

1146 search results - page 56 / 230
» Applications of the TAMPR Transformation System
Sort
View
EDOC
2006
IEEE
15 years 10 months ago
Enterprise Computing Systems as Information Factories
The analysis, and eventual approval or rejection, of new enterprise information technology (IT) initiatives often proceeds on the basis of informal estimates of return on investme...
K. Mani Chandy, Lu Tian, Daniel M. Zimmerman
SIGMOD
2005
ACM
116views Database» more  SIGMOD 2005»
16 years 4 months ago
ProDA: a suite of web-services for progressive data analysis
Online Scientific Applications (OSA) require statistical analysis of large multidimensional datasets. Towards this end, we have designed and developed a data storage and retrieval...
Mehrdad Jahangiri, Cyrus Shahabi
SOFSEM
2009
Springer
16 years 26 days ago
From Outermost Termination to Innermost Termination
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
René Thiemann
BPM
2009
Springer
168views Business» more  BPM 2009»
15 years 10 months ago
Divide-and-Conquer Strategies for Process Mining
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
TECS
2008
94views more  TECS 2008»
15 years 3 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...