„Programming Models“

Suchergebnisse

1.230 Treffer

• Models of the Optimal Resource Allocation for the Critical Infrastructure Protection
  Norkin, V. I. ; Gaivoronski, A. A. ; Zaslavsky, V. A. ; Knopov, P. S.
• Mathematical Models and Problems of Fractional-Differential Dynamics of Some Relaxation Filtration Processes
  Bulavatsky, V. M.
• Removing redundant multiplicity constraints in UML class models
  Balaban, Mira ; Maraee, Azzam
• Models for availability and power consumption evaluation of a private cloud with VMM rejuvenation enabled by VM Live Migration
  Torquato, Matheus ; Umesh, I M. ; Maciel, Paulo
• Constraint programming models and population-based simulated annealing algorithm for finding graceful and $$\alpha $$ α -labeling of quadratic graphs
  Amini, Mohammad ; Eshghi, Kourosh
• Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy
  Liu, Bing ; Nejati, Shiva ; Lucia ; Briand, Lionel C.
• Evaluating cloud database migration options using workload models
  Ellison, Martyn ; Calinescu, Radu ; Paige, Richard F.
• Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models
  Araujo, Julian ; Maciel, Paulo ; Andrade, Ermeson ; Callou, Gustavo ; Alves, Vandi ; Cunha, Paulo
• Supporting the analyzability of architectural component models - empirical findings and tool support
  Stevanetic, Srdjan ; Zdun, Uwe
• Execution of UML models: a systematic review of research and practice
  Ciccozzi, Federico ; Malavolta, Ivano ; Selic, Bran
• Mathematical models of quantum computation
  Nishino, Tetsuro
• Models of molecular computing based on molecular reactions
  Rozenberg, Grzegorz
• Comprehensibility of system models during test design: a controlled experiment comparing UML activity diagrams and state machines
  Felderer, Michael ; Herrmann, Andrea
• Equivalence checking of Petri net models of programs using static and dynamic cut-points
  Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan
• Understanding Declare models: strategies, pitfalls, empirical results
  Haisjackl, Cornelia ; Barba, Irene ; Zugal, Stefan ; Soffer, Pnina ; Hadar, Irit ; Reichert, Manfred ; Pinggera, Jakob ; Weber, Barbara
• Contract-based verification of discrete-time multi-rate Simulink models
  Boström, Pontus ; Wiik, Jonatan
• Use, potential, and showstoppers of models in automotive requirements engineering
  Liebel, Grischa ; Tichy, Matthias ; Knauss, Eric
• Conformance checking in UML artifact-centric business process models
  Estañol, Montserrat ; Munoz-Gama, Jorge ; Carmona, Josep ; Teniente, Ernest
• Guest editorial: special issue on predictive models for software quality
  Minku, Leandro L. ; Bener, Ayşe B. ; Turhan, Burak
• Development of software reliability models using a hybrid approach and validation of the proposed models using big data
  Govindasamy, P. ; Dillibabu, R.