the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient co...
ISBN:
(纸本)9781605582672
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient compilation techniques for large scale feature models;on the modularity of feature interactions;using modern mathematics as an FOSD modeling language;generating incremental implementations of object-set queries;integrating semantics and compilation;generating customized verifiers for automatically generated code;property models: from incidental algorithms to reusable components;fundamentalist functional programming;feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement;typing communicating component assemblages;and program refactoring using functional aspects.
the proceedings contain 19 papers. the topics discussed include: reusable, generic program analyses and transformations;toward foundations for type-reflective metaprogramming;transactional pointcuts: designation reifi...
ISBN:
(纸本)9781605588629
the proceedings contain 19 papers. the topics discussed include: reusable, generic program analyses and transformations;toward foundations for type-reflective metaprogramming;transactional pointcuts: designation reification and advice of interrelated join points;extending aspectJ for separating regions;a language and framework for invariant-driven transformations;JavaGI in the battlefield: practical experience with generalized interfaces;classifying java class transformations for pervasive virtualized access;advanced runtime adaptation for java;hotwave: creating adaptive tools with dynamic aspect-oriented programming in java;generating safe template languages;abstract parsing for two-staged languages with concatenation;synthesis of fast programs for maximum segment sum problems;a generativeprogramming approach to developing pervasive computing systems;and algorithms for user interfaces.
the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature...
ISBN:
(纸本)9781450311298
the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature models from derived features;synthesizing iterators from abstraction functions;package templates: a definition by semantics-preserving source-to-source transformations to efficient java code;an inheritance system for structural & behavioral reuse in component-based software programming;a three-level component model in component based software development;pushouts in software architecture design;pol: specification-driven synthesis of architectural code frameworks for platform-based applications;faster program adaptation through reward attribution inference;and a calculus for modeling and implementing variation.
the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preproce...
ISBN:
(纸本)9781450306898
the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preprocessor-based software product lines;investigating the safe evolution of software product lines;static analysis of aspect interaction and composition in component models;infrastructure for component-based dds application development;generation of geometric programs specified by diagrams;model-driven engineering and run-time model-usage in service robotics;generating database migrations for evolving web applications;pragmatics for formal semantics;application of model based development to flexible code generation;Firepile: run-time compilation for GPUs in scala;and monitoring aspects for the customization of automatically generated code for big-step models.
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova:...
详细信息
ISBN:
(纸本)3540291385
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova: introducing modularity into the Bossa domain-specific language;model compiler construction based on aspect-oriented mechanisms;shadow programming: reasoning about programs using Lexical join point information;generalized type-based disambiguation of meta programs with concrete object syntax;semi-inversion of guarded equations;a generativeprogramming approach to interactive information retrieval: insights and experiences;and optimizing marshalling by run-time program generation.
the proceedings contain 14 papers. the topics discussed include: interdisciplinary perspectives on generative artificial intelligence adoption in higher education: a theoretical framework review;research on impact of ...
ISBN:
(纸本)9798400716980
the proceedings contain 14 papers. the topics discussed include: interdisciplinary perspectives on generative artificial intelligence adoption in higher education: a theoretical framework review;research on impact of AIGC on the development of artificial intelligence education - watermark generation as case study;the role of ChatGPT in Chinese reading education for Chinese as a heritage language (CHL) learners;a systematic literature review of the opportunities and advantages for AIGC (OpenAI ChatGPT, copilot, codex) in programming course;exploration of engineering and design fusion in 3E of digital media technology major empowered by AIGC;and research on the evaluation system of higher education teaching quality based on artificial intelligence.
the proceedings contain 7 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: From Logic to programming;digital Twin Tutorial: the Incubator Case Study...
ISBN:
(纸本)9789819646555
the proceedings contain 7 papers. the special focus in this conference is on engineering Trustworthy Software Systems. the topics include: From Logic to programming;digital Twin Tutorial: the Incubator Case Study;AI components for High Integrity, Safety-Critical Human-Cyber-Physical Systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;software engineering Experiences of an Optimist;Automating component-Based Embedded Software Construction via Formal Synthesis and LLMs.
Facial recognition systems often face challenges with partial occlusions, which hinder feature identification and degrade model performance. Although GAN-based methods have shown promise, their reliance on synthetic d...
详细信息
ISBN:
(数字)9798331522216
ISBN:
(纸本)9798331522223
Facial recognition systems often face challenges with partial occlusions, which hinder feature identification and degrade model performance. Although GAN-based methods have shown promise, their reliance on synthetic datasets limits real-world applicability due to the lack of dataset realism. In this paper, we propose a novel three-stage framework that uses occlusion region prediction, facial component segmentation, and face restoration based on the outputs from the initial stages. this approach effectively handles diverse occlusions and bridges the gap between synthetic and real-world scenarios. Experimental results show the superiority of our method, achieving over 91 % on a similarity measure and outperforming existing methods.
暂无评论