„Programming Language.“

Suchergebnisse

8.545 Treffer

• Automated refinement of models for model-based testing using exploratory testing
  Gebizli, Ceren Şahin ; Sözer, Hasan
• Application of metamorphic testing monitored by test adequacy in a Monte Carlo simulation program
  Ding, Junhua ; Hu, Xin-Hua
• Design of secure authentication scheme between devices based on zero-knowledge proofs in home automation service environments
  Kang, Jungho ; Park, Geunil ; Park, Jong Hyuk
• An efficient musical accompaniment parallel system for mobile devices
  Alonso, Pedro ; Vera-Candeas, P. ; Cortina, Raquel ; Ranilla, José
• An efficiency study of a pivot-based algorithm for similarity search on a heterogeneous platform
  Uribe-Paredes, R. ; Arias, E. ; Cazorla, D. ; Sánchez, J. L.
• Blockchain-based secure firmware update for embedded devices in an Internet of Things environment
  Lee, Boohyung ; Lee, Jong-Hyouk
• Constructing data supply chain based on layered PROV
  Li, Peng ; Wu, Tin-Yu ; Li, Xin-Ming ; Luo, Hong ; Obaidat, Mohammad S.
• An approach to clone detection in sequence diagrams and its application to security analysis
  Alalfi, Manar H. ; Antony, Elizabeth P. ; Cordy, James R.
• Fundamentals of C Programming-A Student Practical Approach – C-Programming Language
  Kumar, Somesh ; Chand Sahoo, Ramesh ; Goel, Rajkumar 2016 LAP LAMBERT Academic Publishing
• Energy-efficient NoC with multi-granularity power optimization
  Wu, Ji ; Dong, Dezun ; Liao, Xiangke ; Wang, Li
• Cognitive social network analysis for supporting the reliable decision-making process
  Kim, Mucheol ; Han, Sangyong
• Ultrafast scalable parallel algorithm for the radial distribution function histogramming using MPI maps
  Kouetcha, Daniella Nguemalieu ; Ramézani, Hamidréza ; Cohaut, Nathalie
• An analysis of the genetic marker diversity algorithm for genetic programming
  Burks, Armand R. ; Punch, William F.
• A comprehensive study on APT attacks and countermeasures for future networks and communications: challenges and solutions
  SINGH, SAURABH ; Sharma, Pradip Kumar ; Moon, Seo Yeon ; Moon, Daesung ; Park, Jong Hyuk
• Formal semantics of static and temporal state-oriented OCL constraints
  Flake, Stephan ; Mueller, Wolfgang
• Guest editorial
  Jézéquel, Jean-Marc ; Hussmann, Heinrich
• VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
  Varró, Dániel ; Pataricza, András
• Systematic stereotype usage
  Atkinson, Colin ; Kühne, Thomas ; Henderson-Sellers, Brian
• Assessing model quality
  France, Robert ; Rumpe, Bernhard
• Use cases – Yesterday, today, and tomorrow
  Jacobson, Ivar