The proceedings contain 19 papers. The special focus in this conference is on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information systems. The topics include: A Linked Data Based Advanc...
ISBN:
(纸本)9783031349843
The proceedings contain 19 papers. The special focus in this conference is on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information systems. The topics include: A Linked Data Based Advanced Credit Rationale;interactive Machine Learning of Knowledge Graph-Based Explainable Process Analysis;a Weighted Knowledge Graph for Representing the Results of a Systematic Literature Review;Knowledge engineering Formalizing DECENT Meta Model;using Knowledge Graphs for Record Linkage: Challenges and Opportunities;employing Knowledge Graphs for Capturing Semantic Aspects of Robotic Process Automation;Regulation-Friendly Privacy-Preserving Blockchain Based on zk-SNARK;blockchain Governance Design a computer Science Perspective;The MEV Saga: Can Regulation Illuminate the Dark Forest?;enriching Enterprise Architecture Models with Healthcare Domain Knowledge;supporting Reuse of Business Process Models by Semantic Annotation;position Paper - Hybrid Artificial Intelligence for Realizing a Leadership Assistant for Platform-Based Leadership Consulting;developing a Maturity Assessment Tool to Enable the Management of Artificial Intelligence for Organizations;mapping Time-Series Data on Process Patterns to Generate Synthetic Data;Towards Crisis Response and Intervention Using Knowledge Graphs - CRISP Case Study;The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers;Towards Recommendations for Knowledge-Graph-Based Requirements Management in Construction: A Report on the EU DigiChecks Project.
The proceedings contain 29 papers. The topics discussed include: layered and collecting NDFS with subsumption for parametric timed automata;offline timed pattern matching under uncertainty;HOMESCAN: scrutinizing imple...
ISBN:
(纸本)9781538693414
The proceedings contain 29 papers. The topics discussed include: layered and collecting NDFS with subsumption for parametric timed automata;offline timed pattern matching under uncertainty;HOMESCAN: scrutinizing implementations of smart home integrations;state compression based on one-sided communications for distributed model checking;towards mining comprehensive android sandboxes;cultural influences on the requirements engineering process: lessons learned from practice;modeling and verification of large-scale sensor network infrastructures;and multi-level multi-stage agent-based decision support system for simulation of crowd dynamics.
The proceedings contain 36 papers. The special focus in this conference is on Advanced Information systemsengineering. The topics include: Request Relaxation Based-on Provider Constraints for a Capability-B...
ISBN:
(纸本)9783031345593
The proceedings contain 36 papers. The special focus in this conference is on Advanced Information systemsengineering. The topics include: Request Relaxation Based-on Provider Constraints for a Capability-Based NaaS Services Discovery;configuration Optimization with Limited Functional Impact;modeling Context-Aware Events and Responses in an IoT Environment;modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical systems;simulating and Analyzing Crowdsourcing Impacts in Flood Management: A Geo-spatial Agent-Based Approach;a Data-Centric Approach for Reducing Carbon Emissions in Deep Learning;unsupervised Task Recognition from User Interaction Streams;preface;comparing User Perspectives in a Virtual Reality Cultural Heritage Environment;revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology;why Am I Waiting? Data-Driven Analysis of Waiting Times in Business Processes;extracting Event Data from Document-Driven Enterprise systems;event Data-Driven Feasibility Checking of Process Schedules;comparing Trace Similarity Metrics Across Logs and Evaluation Measures;where Are the Readings Behind Your Concept Maps? Annotation-driven Concept Mapping;Ontological Representation of FAIR Principles: A Blueprint for FAIRer Data Sources;enabling Representation Learning in Ontology-Driven Conceptual Modeling Using Graph Neural Networks;DOML: A New Modelling Approach to Infrastructure-as-Code;task Completeness Assessments in the Evolution of Domain-Specific Modelling Languages;can Information System engineering Make Cyber-Human systems Smarter?;lessons Learned in Model-Based Reverse engineering of Large Legacy systems;design and Evaluation of a User Interface Concept for Prescriptive Process Monitoring;learning When to Treat Business Processes: Prescriptive Process Monitoring with Causal Inference and Reinforcement Learning;model-Agnostic Event Log Augmentation for Predictive Process Monitoring;detect
With AI increasingly affecting software systems, there is a pressing need to prepare the next generation of software engineers to build AI-intensive systems proficiently. This work outlines our instructional approach ...
详细信息
ISBN:
(纸本)9798350378986;9798350378979
With AI increasingly affecting software systems, there is a pressing need to prepare the next generation of software engineers to build AI-intensive systems proficiently. This work outlines our instructional approach in the "engineering of AIintensive systems" course for postgraduate computer science students to bridge the knowledge gap between software engineering (SE) and artificial intelligence (AI) disciplines. Our paper elaborates on the course's framework, pedagogical strategies, and evaluation methods, emphasizing the benefits of this interdisciplinary educational model.
The book invites submission of novel, recent area of innovation and previously unpublished research work/idea in the field of modern applications of artificial intelligence techniques to electrical engineeringsystems...
详细信息
ISBN:
(数字)9789462392663
ISBN:
(纸本)9789462392656
The book invites submission of novel, recent area of innovation and previously unpublished research work/idea in the field of modern applications of artificial intelligence techniques to electrical engineeringsystems. The applications of artificial intelligence related to various fields of electrical engineering are mentioned in the conference tracks. The conference is meant to discuss the challenges and applications of latest evolutionary computing techniques, neural networks, fuzzy logic, machine learning and data analytics in the fields of power systems, power electronics, robotics, automation, instrumentation, control systems, mechatronics and photonics. It provides a platform to the students, researchers, scientists, faculty members, professionals and practitioners to interact, present and get innovative ideas in the field of electrical engineering. As a part of AITEES-2022, many keynote sessions are planned to enhance the research and innovation skills of participants. Eminent professors from academic institutions and world renowned industrial experts from India and abroad will deliver keynote sessions.
The proceedings contain 35 papers. The topics discussed include: incremental causal connection for self-adaptive systems based on relational reference attribute grammars;addressing the uncertainty interaction problem ...
ISBN:
(纸本)9781450394666
The proceedings contain 35 papers. The topics discussed include: incremental causal connection for self-adaptive systems based on relational reference attribute grammars;addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata;precomputing reconfiguration strategies based on stochastic timed game automata;system architecture synthesis for performability by logic solvers;digital twin as risk free experimentation aid for techno-socio-economic systems;reactive links across multi-domain engineering models;modelling program verification tools for software engineers;automatic test amplification for executable models;feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system;validating the correctness of reactive systems specifications through systematic exploration;and machine learning methods for model classification: a comparative study.
This special issue contains nine extended and rigorously peer-reviewed papers selected from those originally presented at ECBS 2023, the 8th internationalconference on engineering of computer-Based systems, held at M...
详细信息
This special issue contains nine extended and rigorously peer-reviewed papers selected from those originally presented at ECBS 2023, the 8th internationalconference on engineering of computer-Based systems, held at M & auml;lardalen University, Sweden, October 16-18, 2023, under the theme "engineering for Responsible AI". The included papers represent innovative contributions addressing critical aspects of responsible artificial intelligence and integrated engineering practices. These contributions span from formal verification and security analyses of IoT protocols and federated learning frameworks to machine learning-based simulations and predictions in hardware and software systems. The selection also includes work on automata learning techniques for protocol compliance, continuous integration approaches for neural network-based autonomous systems, assertion usage in software testing, language-driven engineering for code generation, and the integration of IoT backends in digital twin infrastructures. Together, these papers showcase recent advances, offering valuable insights into the rigorous integration of modern technologies within complex, computer-based systems.
The proceedings contain 133 papers. The topics discussed include: towards the practical adoption of LIDL: A toolchain for modeling human-machine interface software interactions;digital TwinCity: a holistic approach to...
ISBN:
(纸本)9781450394673
The proceedings contain 133 papers. The topics discussed include: towards the practical adoption of LIDL: A toolchain for modeling human-machine interface software interactions;digital TwinCity: a holistic approach towards comparative analysis of business processes;a tool for the automation of efficient multi-robot choreography planning and execution;graphical projectional editing in gentleman;a diagram-centric modeling tool for systems of systems;Picto Web: a tool for complex model exploration;using the ModelSet dataset to support machine learning in model-driven engineering;modeling tool for managing canvas-based models traceability in ML system development;contract-based product-assembly co-design;ORM ontologies with executable derivation rules to support semantic search in large-scale data applications;and a lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
暂无评论