Sciweavers

1306 search results - page 59 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
157
Voted
SMA
2010
ACM
192views Solid Modeling» more  SMA 2010»
14 years 7 months ago
Infinitesimally Robust estimation in general smoothly parametrized models
Abstract The aim of the paper is to give a coherent account of the robustness approach based on shrinking neighborhoods in the case of i.i.d. observations, and add some theoretical...
Matthias Kohl, Peter Ruckdeschel, Helmut Rieder
90
Voted
BIS
2008
92views Business» more  BIS 2008»
15 years 2 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann
TSMC
2011
210views more  TSMC 2011»
14 years 7 months ago
Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
Raymond H. Kwong, David L. Yonge-Mallo
89
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
Learning operational requirements from goal models
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
Alessandra Russo, Dalal Alrajeh, Jeff Kramer, Seba...
108
Voted
HICSS
2005
IEEE
178views Biometrics» more  HICSS 2005»
15 years 6 months ago
The Entity Container - An Object-Oriented and Model-Driven Persistency Cache
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
Gernot Schmoelzer, Stefan Mitterdorfer, Christian ...