„Programming Models“

Suchergebnisse

1.230 Treffer

• Software Engineering: Specification, Implementation, Verification
  Alagić, Suad 2017 Springer International Publishing
• Process Algebras for Petri Nets – The Alphabetization of Distributed Systems
  Gorrieri, Roberto 2017 Springer International Publishing
• Logic and Integer Programming
  Williams, Hilary P. 2009 Springer International Publishing
• Inductive logic programming – 21th international conference ; revised selected papers
  Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer
• Compressed Air Energy Storage Models for Energy Arbitrage and Ancillary Services: Comparison Using Mixed Integer Programming Optimization with Market Data from the Irish Power System
  Nikolakakis, Thomas ; Fthenakis, Vasilis
• Continuous situation-specific development of business models: knowledge provision, method composition, and method enactment
  Gottschalk, Sebastian ; Yigitbas, Enes ; Nowosad, Alexander ; Engels, Gregor
• Forecasting COVID19 Reliability of the Countries by Using Non-Homogeneous Poisson Process Models
  Guler Dincer, Nevin ; Demir, Serdar ; Yalçin, Muhammet Oğuzhan
• A study on propagation models in NS-3 with a case study of LTE network modeling
  Amini, Pedram
• Hate Speech Detection on Code-Mixed Dataset Using a Fusion of Custom and Pre-trained Models with Profanity Vector Augmentation
  Dowlagar, Suman ; Mamidi, Radhika
• A Bi-level Multi-objective Programming on Data Envelopment Analysis by Penalty Approach
  Pishgouy, Ali Reza ; Hamidi, Farhad ; Saljooghi, Faranak Hosseinzadeh
• Internet of Medical Things-Based COVID-19 Detection in CT Images Fused with Fuzzy Ensemble and Transfer Learning Models
  Mahanty, Chandrakanta ; Kumar, Raghvendra ; Patro, S. Gopal Krishna
• Developmental Programming in Animal Models: Critical Evidence of Current Environmental Negative Changes
  Ramírez, Victoria ; Bautista, Regina J. ; Frausto-González, Oswaldo ; Rodríguez-Peña, Nelly ; Betancourt, Eduardo Tena ; Bautista, Claudia J.
• Effects of variability in models: a family of experiments
  Mahmood, Wardah ; Strüber, Daniel ; Anjorin, Anthony ; Berger, Thorsten
• Requirements Validation: Execution of UML Models with CPN Tools
  Machado, Ricardo J. ; Lassen, Kristian Bisgaard ; Oliveira, Sérgio ; Couto, Marco ; Pinto, Patrícia
• An intermediate metamodel with scenarios and resources for generating performance models from UML designs
  Petriu, Dorin B. ; Woodside, Murray
• Synthesis of Parallel Software from Heterogeneous Dataflow Models
  Rafique, Omair ; Schneider, Klaus
• Identifying Contradictions in the Legal Proceedings Using Natural Language Models
  Surana, Shraddha ; Dembla, Sugam ; Bihani, Prateek
• A DC programming approach for solving a centralized group key management problem
  Le Thi, Hoai An ; Nguyen, Thi Tuyet Trinh ; Luu, Hoang Phuc Hau
• Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
  Nesterov, Roman ; Bernardinello, Luca ; Lomazova, Irina ; Pomello, Lucia
• Explicit versus implicit models: What are good languages for modeling?
  Gray, Jeff ; Rumpe, Bernhard