„Programming Languages“

Suchergebnisse

7.502 Treffer

• Holistic security requirements analysis for socio-technical systems
  Li, Tong ; Horkoff, Jennifer ; Mylopoulos, John
• Provisioning required reliability of wireless data communication in smart grid neighborhood area networks
  Mohammadi Nejad, Hossein ; Movahhedinia, Naser ; Khayyambashi, Mohammad Reza
• Cloud-based smart manufacturing for personalized candy packing application
  Wang, Shiyong ; Wan, Jiafu ; Imran, Muhammad ; Li, Di ; Zhang, Chunhua
• Model-driven development of mobile applications for Android and iOS supporting role-based app variability
  Vaupel, Steffen ; Taentzer, Gabriele ; Gerlach, René ; Guckert, Michael
• Automatic generation of test system instances for configurable cyber-physical systems
  Arrieta, Aitor ; Sagardui, Goiuria ; Etxeberria, Leire ; Zander, Justyna
• A systematic literature review on quality criteria for agile requirements specifications
  Heck, Petra ; Zaidman, Andy
• 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.
• 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