„programming model“

Suchergebnisse

4.625 Treffer

• Extended version of elucidative development for model-based documentation and language specification
  Wilke, Claas 2012 TU, Fak. Informatik
• OpenGridMap: towards automatic power grid simulation model generation from crowdsourced data
  Rivera, José ; Leimhofer, Johannes ; Jacobsen, Hans-Arno
• Intelligent probabilistic broadcasting in mobile ad hoc network: a PSO approach
  Kumar, Sumit ; Mehfuz, Shabana
• Mixed integer programming model for optimizing the layout of an ICU vehicle
  Alejo, Javier Sánchez ; Martín, Modoaldo Garrido ; Ortega-Mier, Miguel ; García-Sánchez, Álvaro
• Explicit nonlinear model predictive control – theory and applications
  Grancharova, Alexandra ; Johansen, Tor Arne 2012 Springer
• Optimal covers in the relational database model
  Peng, Xiaoning ; Xiao, Zhijun
• Geometry simplification according to semantic constraints – Enabling energy analysis based on building information models
  Ladenhauf, Daniel ; Berndt, René ; Krispel, Ulrich ; Eggeling, Eva ; Ullrich, Torsten ; Battisti, Kurt ; Gratzl-Michlmair, Markus
• Analysis and model-based predictions of solar PV and battery adoption in Germany: an agent-based approach
  Alyousef, Ammar ; Adepetu, Adedamola ; Meer, Hermann ˜deœ
• Prediction models in the design of neural network based ECG classifiers: A neural network and genetic programming approach
  Nugent, Chris D. ; López, Jesús A. ; Smith, Ann E. ; Black, Norman D.
• Clafer: unifying class and feature modeling
  Bąk, Kacper ; Diskin, Zinovy ; Antkiewicz, Michał ; Czarnecki, Krzysztof ; Wa̢sowski, Andrzej
• Least-change bidirectional model transformation with QVT-R and ATL
  Macedo, Nuno ; Cunha, Alcino
• Empirically evaluating OCL and Java for specifying constraints on UML models
  Yue, Tao ; Ali, Shaukat
• Query-driven soft traceability links for models
  Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Starr, Rodrigo Rizzi ; Varró, Dániel
• Model checking unbounded concurrent lists
  Sethi, Divjyot ; Talupur, Muralidhar ; Malik, Sharad
• Models in simulation
  Gray, Jeff ; Rumpe, Bernhard
• A game theoretical model for profit maximization resource allocation in cloud environment with budget and deadline constraints
  Nezarat, Amin ; Dastghaibyfard, Gh
• Generalized network design problems – modeling and optimization
  Pop, Petrică C. 2012 De Gruyter
• Advances in software engineering techniques – revised selected papers
  Szmuc, Tomasz ; Szpyrka, Marcin ; Zendulka, Jaroslav 2012 Springer
• Model-based simulation of legal policies: framework, tool support, and validation
  Soltana, Ghanem ; Sannier, Nicolas ; Sabetzadeh, Mehrdad ; Briand, Lionel C.
• A Partioning Technique for Leontief Type Linear Programming Production Models
  Minch, Roland A.