the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence ...
ISBN:
(纸本)9783642245589
the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence of components in self-adaptive systems;the safety-critical Java mission model: a formal account;verification of orchestration systems using compositional partial order reduction;domain-driven probabilistic analysis of programmable logic controllers;statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications;on fitting a formal method into practice;a formal engineering approach to high-level design of situation analysis decision support systems;conformance checking of dynamic access control policies;a knowledge-based verification method for dynamic access control policies;and distributed theorem proving for distributed hybrid systems.
Purpose: through the visualization analysis of the knowledge graph, this study explores the paper publication status, journal distribution, research strength, research hotspots and development trend of the research fi...
详细信息
the proceedings contain 74 papers. the special focus in this conference is on Smart City Applications. the topics include: Tuning Hopfield Neural Networks with Metaheuristic Hy-perparameter Selection;Federated Learnin...
ISBN:
(纸本)9783031886522
the proceedings contain 74 papers. the special focus in this conference is on Smart City Applications. the topics include: Tuning Hopfield Neural Networks with Metaheuristic Hy-perparameter Selection;Federated Learning Using knowledge Distillation for CNN-based eHealth Data Analysis;a Hybrid Data Mining Model for Early Detection of Lung Cancer Utilizing Supervised Feature Extraction;Whale Optimization Algorithm-based Feature Selection Combined withthe XGBoost Model for Breast Cancer Detection: A Comparative Study;CNN-LSTM based Network Anomaly Detection in WSN-DS;bibliometric Mapping of Data Catalogs: Exploring Advances and Key Research Actors;Towards an Approach for Extracting UML Class Diagrams Using Advanced Language Models;real-Time Data Processing and Big Data Analytics: A Comparative Study of Modern Platforms;Comparative Accuracy Assessment of Orthophotos Produced Using Different UAV and Photogrammetric software;Horizontal Accuracy Tests on Google Satellite Images Over Naples Added in QGIS;Analyzing AI Models for Turkey Earthquake Disaster Prediction;Predicting Monthly Wheat Crop Coefficients in Morocco Using ANN Models with Limited Meteorological Data: A Study in the Draa-Tafilalet Region;intelligent Climate Control in University Residences for Temporary Guests;Hybrid Parallel Architecture Integrating FFN, 1D CNN, and LSTM for Predicting Wildfire Occurrences in Morocco;Identifying NovelSARS-Cov-2 Inhibitors Using a Structure-based Virtual Screening Approach;Analysis of AI Models for Weather Data Interpretation and Forecasting: Case Study on Temperature Predictions;an Automatic Stop Words Removal in Maghrebi Arabic Dialect Text Classification Using Part of Speech Tagging;business Rules: From Text to Formal Language;comparative Analysis of Large Language Models in Moroccan Darija Translation;machine Learning Approaches for Intrusion Detection in IoT: Literature Review.
the proceedings contain 9 papers. the topics discussed include: summary of iMLSE-18: the 1st International Workshop on Machine Learning Systems engineering;towards testing of deep learning systems;simplified influence...
the proceedings contain 9 papers. the topics discussed include: summary of iMLSE-18: the 1st International Workshop on Machine Learning Systems engineering;towards testing of deep learning systems;simplified influence evaluation of additional training on deep neural networks;guaranteeing deep neural network outputs in a feasible region;an assurance case approach for software code security;threat analysis using STRIDE with STAMP/STPA;restructuring attack trees to identify incorrect or missing relationships between nodes;and using a variety of patterns in a secure software development methodology.
conferenceproceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. this may in some cases also include the cover...
conferenceproceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. this may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conferencethat was part of the original conferenceproceedings.
the recognition of human locomotion modes is crucial for the development of intelligent assistive devices. the high accuracy and early prediction of conversion recognition were of crucial importance for the improvemen...
详细信息
this paper describes the concept and use of Indicators for cybersecurity decision support. We define an Indicator as observable information about a Device Under Test (DUT) or System Under Test (SUT) that potentially c...
详细信息
this book constitutes the refereed proceedings of the 11th Joint conference on knowledge-basedsoftware-engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. the 59 full and 3 short papers presented ...
ISBN:
(数字)9783319118543
ISBN:
(纸本)9783319118536;9783319118543
this book constitutes the refereed proceedings of the 11th Joint conference on knowledge-basedsoftware-engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. the 59 full and 3 short papers presented were carefully reviewed and selected from 197 submissions. the papers are organized in topical sections on methodology and tools for knowledge discovery and data mining; methods and tools for softwareengineering education; knowledge technologies for semantic web and ontology engineering; knowledge-based methods and tools for testing, verification and validation, maintenance and evolution; natural language processing, image analysis and recognition; knowledge-based methods and applications in information security, robotics and navigation; decision support methods for softwareengineering; architecture of knowledge-based systems, including intelligent agents and softbots; automating software design and synthesis; knowledge management for business processes, workflows and enterprise modeling; knowledge-based methods and applications in bioscience, medicine and justice; knowledge-based requirements engineering, domain analysis and modeling; intelligent user interfaces and human-machine interaction; lean softwareengineering; program understanding, programming knowledge, modeling programs and programmers.
the proceedings contain 689 papers. the topics discussed include: multi-branch neural networks and its application to stock price prediction;network basedengineering design education;an implementation of learning cla...
详细信息
the proceedings contain 689 papers. the topics discussed include: multi-branch neural networks and its application to stock price prediction;network basedengineering design education;an implementation of learning classifier systems for rule-based machine learning;emergence of immune memory and tolerance;a network service access control framework based on network blocking algorithm;determination of optimal locations for the variable message signs by the genetic algorithm;using rough set to induce comparative knowledge and its use in SARS data;the location of optimum set-point using a fuzzy controller;on self-organizing diagnostics in impact sensing networks;and a coevolutionary algorithm with spieces as varying contexts.
暂无评论