„programming model“

Suchergebnisse

4.625 Treffer

• SQME: a framework for modeling and evaluation of software architecture quality attributes
  Sedaghatbaf, Ali ; Azgomi, Mohammad Abdollahi
• Research on a distributed auto-negotiation model based on Stackelberg game theory
  Tian, Ran ; Li, Shanwei ; Yang, Guoying
• Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
  Becker, Martin ; Metta, Ravindra ; Venkatesh, R. ; Chakraborty, Samarjit
• Development of software reliability models using a hybrid approach and validation of the proposed models using big data
  Govindasamy, P. ; Dillibabu, R.
• Preface to the special issue on inductive logic programming
  Cussens, James ; Russo, Alessandra
• Middleware for internet of things: an evaluation in a small-scale IoT environment
  Palade, Andrei ; Cabrera, Christian ; Li, Fan ; White, Gary ; Razzaque, M. A. ; Clarke, Siobhán
• Rigorous development process of a safety-critical system: from ASM models to Java code
  Arcaini, Paolo ; Gargantini, Angelo ; Riccobene, Elvinia
• Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
  Su, Wen ; Abrial, Jean-Raymond
• Automatic assessment of children’s oral reading using speech recognition and prosody modeling
  Sabu, Kamini ; Rao, Preeti
• A Programming Model for Consistency and Consensus in Group Decision Making with Probabilistic Hesitant Fuzzy Preference Relations
  Li, Jian ; Wang, Zhong-xing
• Tool integration at the meta-model level: the Fujaba approach
  Burmester, Sven ; Giese, Holger ; Niere, Jörg ; Tichy, Matthias ; Wadsack, Jörg P. ; Wagner, Robert ; Wendehals, Lothar ; Zündorf, Albert
• Aufwandsschätzung bei Projekten nach dem eXtreme Programming-Paradigma
  Schmietendorf, Andreas 2009 Shaker
• Model-integrating development of software systems: a flexible component-based approach
  Derakhshanmanesh, Mahdi ; Ebert, Jürgen ; Grieger, Marvin ; Engels, Gregor
• Parallel implementation of a three-dimensional cellular automaton model of the electrochemical oxidation of carbon “Ketjenblack EC-600JD”
  Kireeva, A. E. ; Sabelfeld, K. K. ; Gribov, E. N. ; Maltseva, N. V.
• Energy System Modeling showing the benefits of coupling the energy sectors
  Metzger, Michael
• The experience of using DVM and SAPFOR systems in semi automatic parallelization of an application for 3D modeling in geophysics
  Kataev, Nikita ; Kolganov, Alexander
• Group abstraction for assisted navigation of social activities in intelligent environments
  Given-Wilson, Thomas ; Legay, Axel ; Sedwards, Sean ; Zendra, Olivier
• Increasing user confidence in intelligent environments
  Hornos, Miguel J. ; Rodríguez-Domínguez, Carlos
• GreenScaler: training software energy models with automatic test generation
  Chowdhury, Shaiful ; Borle, Stephanie ; Romansky, Stephen ; Hindle, Abram
• Camera behavioral model and testbed setups for image-based ADAS functions
  Schneider, Stefan-Alexander ; Saad, Kmeid