Software Technologies
portes grátis
Software Technologies
15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers
van Sinderen, Marten; Fill, Hans-Georg; Maciaszek, Leszek A.
Springer Nature Switzerland AG
07/2021
263
Mole
Inglês
9783030830069
15 a 20 dias
427
Descrição não disponível.
Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty.- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints.- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture.- MLCA: A Model-Learning-Checking Approach for IoT Systems.- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data.- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment.- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing.- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach.- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium.- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach.- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop.- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer networks;computer programming;computer science;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;fuzzy sets;graph theory;knowledge-based system;mathematics;object-oriented programming;parallel processing systems;signal processing;software architecture;software design;software engineering
Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty.- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints.- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture.- MLCA: A Model-Learning-Checking Approach for IoT Systems.- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data.- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment.- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing.- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach.- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium.- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach.- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop.- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer networks;computer programming;computer science;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;fuzzy sets;graph theory;knowledge-based system;mathematics;object-oriented programming;parallel processing systems;signal processing;software architecture;software design;software engineering
