„Programming Languages“

Suchergebnisse

7.502 Treffer

• TaintBench: Automatic real-world malware benchmarking of Android taint analyses
  Luo, Linghui ; Pauck, Felix ; Piskachev, Goran ; Benz, Manuel ; Pashchenko, Ivan ; Mory, Martin ; Bodden, Eric ; Hermann, Ben ; Massacci, Fabio
• An analysis of capability meta-models for expressing dynamic business transformation
  Koutsopoulos, Georgios ; Henkel, Martin ; Stirna, Janis
• Efficient computation offloading for Internet of Vehicles in edge computing-assisted 5G networks
  Wan, Shaohua ; Li, Xiang ; Xue, Yuan ; Lin, Wenmin ; Xu, Xiaolong
• A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance
  Bavota, Gabriele ; Gravino, Carmine ; Oliveto, Rocco ; De Lucia, Andrea ; Tortora, Genoveffa ; Genero, Marcela ; Cruz-Lemus, José A.
• A study on Koza’s performance measures
  Barrero, David F. ; Castaño, Bonifacio ; R-Moreno, María D. ; Camacho, David
• The effect of requests for user feedback on Quality of Experience
  Fotrousi, Farnaz ; Fricker, Samuel A. ; Fiedler, Markus
• Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
  Lara, Juan ˜deœ ; Vangheluwe, Hans ; Alfonseca, Manuel
• Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts
  Jonsson, Leif ; Borg, Markus ; Broman, David ; Sandahl, Kristian ; Eldh, Sigrid ; Runeson, Per
• Coevolution of variability models and related software artifacts – A fresh look at evolution patterns in the Linux kernel
  Passos, Leonardo ; Teixeira, Leopoldo ; Dintzner, Nicolas ; Apel, Sven ; Wa̢sowski, Andrzej ; Czarnecki, Krzysztof ; Borba, Paulo ; Guo, Jianmei
• Quantifying structural attributes of system decompositions in 28 feature-oriented software product lines – An exploratory study
  Sobernig, Stefan ; Apel, Sven ; Kolesnikov, Sergiy ; Siegmund, Norbert
• From Nondeterministic to Multi-Head Deterministic Finite-State Transducers (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Raszyk, Martin ; Basin, David A. ; Traytel, Dmitriy 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
  Bringmann, Karl ; Grohe, Martin ; Puppis, Gabriele ; Svensson, Ola 2024 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• An operational guide to monitorability with applications to regular properties
  Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian ; Anna Ingólfsdóttir ; Lehtinen, Karoliina
• The RALph miner for automated discovery and verification of resource-aware process models
  Cabanillas, Cristina ; Ackermann, Lars ; Schönig, Stefan ; Sturm, Christian ; Mendling, Jan
• Benchmarking bidirectional transformations: theory, implementation, application, and assessment
  Anjorin, Anthony ; Buchmann, Thomas ; Westfechtel, Bernhard ; Diskin, Zinovy ; Ko, Hsiang-Shang ; Eramo, Romina ; Hinkel, Georg ; Samimi-Dehkordi, Leila ; Zündorf, Albert
• Automatic quantification of spheroidal graphite nodules using computer vision techniques
  Pereira, Renato F. ; Silva Filho, Valberto E. R. da ; Moura, Lorena B. ; Kumar, N. Arun ; Alexandria, Auzuir R. de ; Albuquerque, Victor Hugo C. ˜deœ
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• Successes, challenges, and rethinking – an industrial investigation on crowdsourced mobile application testing
  Gao, Ruizhi ; Wang, Yabin ; Feng, Yang ; Chen, Zhenyu ; Wong, W. Eric
• The shape of feature code: an analysis of twenty C-preprocessor-based systems
  Queiroz, Rodrigo ; Passos, Leonardo ; Valente, Marco Tulio ; Hunsen, Claus ; Apel, Sven ; Czarnecki, Krzysztof
• Evolutionary algorithms for designing reversible cellular automata
  Mariot, Luca ; Picek, Stjepan ; Jakobovic, Domagoj ; Leporati, Alberto