„programming model“

Suchergebnisse

4.625 Treffer

• Scenario animation for visual behavior models: A generic approach
  Ermel, Claudia ; Bardohl, Roswitha
• Model-driven Generation of APIs for OWL-based Ontologies
  Scheglmann, Stefan ; Scherp, Ansgar ; Staab, Steffen
• Quadratic programming for portfolio planning: Insights into algorithmic and computational issues Part II — Processing of portfolio planning models with discrete constraints
  Mitra, Gautam ; Ellison, Frank ; Scowcroft, Alan
• Models for reactivity
  Manna, Zohar ; Pnueli, Amir
• Improving change prediction models with code smell-related information
  Catolino, Gemma ; Palomba, Fabio ; Fontana, Francesca Arcelli ; De Lucia, Andrea ; Zaidman, Andy ; Ferrucci, Filomena
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
  Klein, Joachim ; Baier, Christel ; Chrszon, Philipp ; Daum, Marcus ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Märcker, Steffen ; Müller, David
• E-Business and telecommunications – 6th international joint conference ; revised selected papers
  Obaidat, Mohammad S. ; Filipe, Joaquim 2011 Springer
• Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review
  Curty, Simon ; Härer, Felix ; Fill, Hans-Georg
• Modeling with Gentleman: a web-based projectional editor
  Lafontant, Louis-Edouard ; Syriani, Eugene
• Separation of soil macropore types in three-dimensional X-ray computed tomography images based on pore geometry characteristics
  Leue, Martin ; Uteau-Puschmann, Daniel ; Peth, Stephan ; Nellesen, Jens ; Kodešová, Radka ; Gerke, Horst 2019 Gottfried Wilhelm Leibniz Universität Hannover
• An improved anomaly detection model for IoT security using decision tree and gradient boosting
  Douiba, Maryam ; Benkirane, Said ; Guezzaz, Azidine ; Azrour, Mourade
• Sentence Embedding Models for Similarity Detection of Software Requirements
  Das, Souvick ; Deb, Novarun ; Cortesi, Agostino ; Chaki, Nabendu
• Contents for a Model-Based Software Engineering Body of Knowledge
  Burgueño, Loli ; Ciccozzi, Federico ; Famelis, Michalis ; Kappel, Gerti ; Lambers, Leen ; Mosser, Sebastien ; Paige, Richard F. ; Pierantonio, Alfonso ; Rensink, Arend ; Salay, Rick ; Taentzer, Gabriele ; Vallecillo, Antonio ; Wimmer, Manuel
• Model-based testing strategies and their (in)dependence on syntactic model representations
  Huang, Wen-ling ; Peleska, Jan
• Partial-order reduction and trail improvement in directed model checking
  Edelkamp, Stefan ; Leue, Stefan ; Lluch-Lafuente, Alberto
• ModelPlex: verified runtime validation of verified cyber-physical system models
  Mitsch, Stefan ; Platzer, André
• Software and data technologies – 4th international conference ; revised selected papers
  Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer
• Modellgetriebene, mustergestützte Sicherheit in serviceorientierten Architekturen
  Klarl, Heiko
• A multi-objective fuzzy programming model for port tugboat scheduling based on the Stackelberg game
  Ren, Yangjun ; Chen, Qiong ; Lau, Yui-yip ; Dulebenets, Maxim A. ; Li, Botang ; Li, Mengchi
• Efficient model similarity estimation with robust hashing
  Martínez, Salvador ; Gérard, Sébastien ; Cabot, Jordi