„Programming Languages“

Suchergebnisse

7.502 Treffer

• Cryptanalysis of a novel ultra-lightweight mutual authentication protocol for IoT devices using RFID tags
  Tewari, Aakanksha ; Gupta, Brij
• Model transformation intents and their properties
  Lúcio, Levi ; Amrani, Moussa ; Dingel, Juergen ; Lambers, Leen ; Salay, Rick ; Selim, Gehan M. K. ; Syriani, Eugene ; Wimmer, Manuel
• A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties
  John, Stefan ; Kosiol, Jens ; Lambers, Leen ; Taentzer, Gabriele
• Optimization framework for DFG-based automated process discovery approaches
  Augusto, Adriano ; Dumas, Marlon ; La Rosa, Marcello ; Leemans, Sander J. J. ; vanden Broucke, Seppe K. L. M.
• Augmented reality for dental implant surgery: enhanced ICP
  Shrestha, Laghumee ; Alsadoon, Abeer ; Chandana Prasad, P. W. ; AlSallami, Nada ; Haddad, Sami
• Modeling languages in Industry 4.0: an extended systematic mapping study
  Wortmann, Andreas ; Barais, Olivier ; Combemale, Benoit ; Wimmer, Manuel
• Extending organizational capabilities with Open Data to support sustainable and dynamic business ecosystems
  Kampars, Jānis ; Zdravkovic, Jelena ; Stirna, Janis ; Grabis, Jānis
• RoboChart: modelling and verification of the functional behaviour of robotic applications
  Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei ; Cavalcanti, Ana ; Timmis, Jon ; Woodcock, Jim
• Optimal feature-based multi-kernel SVM approach for thyroid disease classification
  Shankar, K. ; Lakshmanaprabu, S. K. ; Gupta, Deepak ; Maseleno, Andino ; Albuquerque, Victor Hugo C. de
• Matching events and activities by integrating behavioral aspects and label analysis
  Baier, Thomas ; Di Ciccio, Claudio ; Mendling, Jan ; Weske, Mathias
• A systematic approach to constructing families of incremental topology control algorithms using graph transformation
  Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max
• An exception handling framework for case management
  Andree, Kerstin ; Ihde, Sven ; Weske, Mathias ; Pufahl, Luise
• Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices
  Costa, José Aldo Silva da ; Gheyi, Rohit ; Ribeiro, Márcio ; Apel, Sven ; Alves, Vander ; Fonseca, Baldoino ; Medeiros, Flávio ; Garcia, Alessandro
• Unleashing textual descriptions of business processes
  Sànchez-Ferreres, Josep ; Burattin, Andrea ; Carmona, Josep ; Montali, Marco ; Padró, Lluís ; Quishpi, Luís
• Generation of hazard relation diagrams: formalization and tool support
  Tenbergen, Bastian ; Weyer, Thorsten
• Scalable model views over heterogeneous modeling technologies and resources
  Bruneliere, Hugo ; Kerchove, Florent Marchand de ; Daniel, Gwendal ; Madani, Sina ; Kolovos, Dimitris ; Cabot, Jordi
• Challenges and practices in aligning requirements with verification and validation: a case study of six companies
  Bjarnason, Elizabeth ; Runeson, Per ; Borg, Markus ; Unterkalmsteiner, Michael ; Engström, Emelie ; Regnell, Björn ; Sabaliauskaite, Giedre ; Loconsole, Annabella ; Gorschek, Tony ; Feldt, Robert
• 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
  Baier, Christel ; Chatzigiannakis, Ioannis ; Flocchini, Paola ; Leonardi, Stefano 2019 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Artefacts in software engineering: a fundamental positioning
  Méndez Fernández, Daniel ; Böhm, Wolfgang ; Vogelsang, Andreas ; Mund, Jakob ; Broy, Manfred ; Kuhrmann, Marco ; Weyer, Thorsten
• Automated discovery of test statistics using genetic programming
  Moore, Jason H. ; Olson, Randal S. ; Chen, Yong ; Sipper, Moshe