Articles with "symbolic distributed" as a keyword



Photo from wikipedia

Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent

Sign Up to like & get
recommendations!
Published in 2022 at "IEEE Access"

DOI: 10.1109/access.2022.3204043

Abstract: Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended… read more here.

Keywords: distributed applications; symbolic distributed; verification symbolic; monitoring ... See more keywords