Software Technologies, Kartoniert / Broschiert
Software Technologies
- 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers
- Publisher:
- Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
- Publisher:
- Springer, 07/2021
- Binding:
- Kartoniert / Broschiert, Paperback
- Language:
- Englisch
- ISBN-13:
- 9783030830069
- Item number:
- 10678967
- Volume:
- 276 Pages
- Edition number:
- 21001
- Ausgabe:
- 1st edition 2021
- Weight:
- 423 g
- Format:
- 235 x 155 mm
- Thickness:
- 14 mm
- Release date:
- 21.7.2021
- Note
-
Caution: Product is not in German language
Other releases of Software Technologies |
Price |
|---|
Blurb
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.