Sciweavers

1236 search results - page 86 / 248
» The Problems of Data Modeling in Software Practice
Sort
View
KDD
2007
ACM
209views Data Mining» more  KDD 2007»
16 years 7 months ago
Temporal causal modeling with graphical granger methods
The need for mining causality, beyond mere statistical correlations, for real world problems has been recognized widely. Many of these applications naturally involve temporal data...
Andrew Arnold, Yan Liu, Naoki Abe
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
16 years 12 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
HICSS
2003
IEEE
131views Biometrics» more  HICSS 2003»
16 years 14 days ago
An ERP Maintenance Model
Enterprise resource planning (ERP) maintenance and upgrade activities are receiving much attention in ERP-using organizations. Annual maintenance costs approximate 25% of initial ...
Celeste See Pui Ng, Guy G. Gable, Taizan Chan
164
Voted
CC
1994
Springer
15 years 11 months ago
Flow Grammars - a Flow Analysis Methodology
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
James S. Uhl, R. Nigel Horspool
DSN
2002
IEEE
16 years 4 days ago
Process Modelling to Support Dependability Arguments
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
Robin E. Bloomfield, Sofia Guerra