Sciweavers

659 search results - page 30 / 132
» Process Modeling in the telco industry
Sort
View
ECOOPW
2003
Springer
14 years 2 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...
MODELS
2010
Springer
13 years 8 months ago
Mod4J: A Qualitative Case Study of Model-Driven Software Development
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...
Vincent Lussenburg, Tijs van der Storm, Jurgen J. ...
FMICS
2007
Springer
14 years 3 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
CSDA
2011
13 years 4 months ago
Approximate forward-backward algorithm for a switching linear Gaussian model
Motivated by the application of seismic inversion in the petroleum industry we consider a hidden Markov model with two hidden layers. The bottom layer is a Markov chain and given ...
Hugo Hammer, Håkon Tjelmeland
EWSPT
2000
Springer
14 years 1 months ago
Advanced Services for Process Evolution: Monitoring and Decision Support
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
Ilham Alloui, Sami Beydeda, Sorana Cîmpan, V...