Sciweavers

537 search results - page 24 / 108
» The development process of the UN CEFACT modeling methodolog...
Sort
View
HYBRID
2005
Springer
15 years 3 months ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
89
Voted
CAISE
2009
Springer
14 years 8 months ago
Developing Quality Management Systems with DEMO
The International Organization for Standardization (ISO) has defined Quality Management, but it has not yet adopted standards for developing Quality Management Systems (QMSs), nota...
Jos Geskus, Jan L. G. Dietz
BPM
2003
Springer
75views Business» more  BPM 2003»
15 years 3 months ago
Security in Business Process Engineering
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
Michael Backes, Birgit Pfitzmann, Michael Waidner
MR
2007
173views Robotics» more  MR 2007»
14 years 9 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
TCAD
2008
172views more  TCAD 2008»
14 years 10 months ago
General Methodology for Soft-Error-Aware Power Optimization Using Gate Sizing
Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the mos...
Foad Dabiri, Ani Nahapetian, Tammara Massey, Miodr...