Titlebook: Software Technologies; 15th International C Marten van Sinderen,Leszek A. Maciaszek,Hans-Georg Conference proceedings 2021 Springer Nature

CYT

Marten van Sinderen,Leszek A. Maciaszek,Hans-Georg

Gustatory

范围广

A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data,rogeneous sensor stream data with context in the IoT. In this context, an IoT real-time air quality monitoring system and different semantic annotations are developed for sensor stream data in the format of Sensor Observation Service (SOS).

Metastasis

Acumen

GLUT

,A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium,posing a codeless testing automation framework. Our approach is based on Selenium and a machine learning technique to propose generic testing scripts that can be automatically tuned to the tested use cases. Experiments are provided leading to relevant results demonstrating the success of our methodology.

CHIDE

1865-0929 was held virtually due to the Covid-19 pandemic. .The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management

regale

Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of allowing multiple passengers to share a trip, has recently emerged as a promising solution to cope with several problems such as low vehicle utilization rates, pollution, and parking spaces. The expected uncertain travel demand on such systems and its resulting imbalance and insufficient charging r

Arbitrary

gerontocracy

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecturd net condition/event systems (R-TNCESs) where the properties to be verified to ensure the well behave of systems are expressed by computation tree logic CTL. Reconfigurable discrete event control systems (RDECSs) are complex and critical systems, which, make their formal verification expensive in t