„programming model“

Suchergebnisse

4.625 Treffer

• Testing Web applications by modeling with FSMs
  Andrews, Anneliese A. ; Offutt, Jeff ; Alexander, Roger T.
• An efficient recurrent neural network model for solving fuzzy non-linear programming problems
  Mansoori, Amin ; Effati, Sohrab ; Eshaghnezhad, Mohammad
• From requirements to source code: a Model-Driven Engineering approach for RESTful web services
  Zolotas, Christoforos ; Diamantopoulos, Themistoklis ; Chatzidimitriou, Kyriakos C. ; Symeonidis, Andreas L.
• Analytical performance models for resource allocation schemes of cloudlet in mobile cloud computing
  Raei, Hassan ; Yazdani, Nasser
• Model-checking iterated games
  Huang, Chung-Hao ; Schewe, Sven ; Wang, Farn
• One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible
  Banda, Gourinath ; Bommakanti, Chaitanya Krishna ; Mohan, Harsh
• A hybrid dynamic programming for solving a mixed-model sequencing problem with production mix restriction and free interruptions
  Bautista, Joaquín ; Cano, Alberto ; Alfaro-Pozo, Rocío
• SMT-based model checking for recursive programs
  Komuravelli, Anvesh ; Gurfinkel, Arie ; Chaki, Sagar
• Genetic programming-based chaotic time series modeling
  Zhang, Wei ; Wu, Zhi-ming ; Yang, Gen-ke
• Evolution of mathematical models of chaotic systems based on multiobjective genetic programming
  Rodríguez-Vázquez, Katya ; Fleming, Peter J.
• A fractal enterprise model and its application for business development
  Bider, Ilia ; Perjons, Erik ; Elias, Mturi ; Johannesson, Paul
• A new numerical approach to solve Thomas–Fermi model of an atom using bio-inspired heuristics integrated with sequential quadratic programming
  Raja, Muhammad Asif Zahoor ; Zameer, Aneela ; Khan, Aziz Ullah ; Wazwaz, Abdul Majid
• A unified view of parameterized verification of abstract models of broadcast communication
  Delzanno, Giorgio
• Parameterized model checking for security policy analysis
  Ranise, Silvio ; Truong, Anh ; Traverso, Riccardo
• The Use of Genetic Programming and Regression Analysis for Modeling the Modulus of Elasticity of NSC and HSC
  Sarıdemir, Mustafa ; Severcan, Metin Hakan
• Modeling culture in intelligent virtual agents – From theory to implementation
  Mascarenhas, Samuel ; Degens, Nick ; Paiva, Ana ; Prada, Rui ; Hofstede, Gert Jan ; Beulens, Adrie ; Aylett, Ruth
• Learning about the opponent in automated bilateral negotiation: a comprehensive survey of opponent modeling techniques
  Baarslag, Tim ; Hendrikx, Mark J. C. ; Hindriks, Koen V. ; Jonker, Catholijn M.
• Scope in model transformations
  Jukšs, Māris ; Verbrugge, Clark ; Elaasar, Maged ; Vangheluwe, Hans
• Studying just-in-time defect prediction using cross-project models
  Kamei, Yasutaka ; Fukushima, Takafumi ; McIntosh, Shane ; Yamashita, Kazuhiro ; Ubayashi, Naoyasu ; Hassan, Ahmed E.
• A survey on the use of topic models when mining software repositories
  Chen, Tse-Hsun ; Thomas, Stephen W. ; Hassan, Ahmed E.