Sciweavers

779 search results - page 49 / 156
» An ERP Maintenance Model
Sort
View
ICSE
2010
IEEE-ACM
14 years 15 days ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
QOSA
2009
Springer
14 years 7 days ago
Automated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
Matthias Biehl, Welf Löwe
CRITIS
2008
13 years 9 months ago
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures
The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRUTIAL3 project the interdependencies between the ele...
Marco Beccuti, Giuliana Franceschinis, Mohamed Ka&...
CCE
2007
13 years 7 months ago
Techno-economic modelling and cost functions of CO2 capture processes
The paper contributes to techno-economic modelling of CO2 capture process in coalfired power plants. Technological options of CO2 capture have been chosen and cost estimation rela...
Jiri Klemes, Igor Bulatov, Tim Cockerill
PAAMS
2010
Springer
13 years 5 months ago
Assessing Knowledge Management in the Power Sector through a Connectionist Model
It has been proven that Artificial Intelligence, in general, and Artificial Neural Networks, in particular, can be successfully applied to problems in the field of Knowledge Manage...
Álvaro Herrero, Lourdes Cecilia Sáiz...