Monitoring Decentralized Specifications

doi 10.1145/3092703.3092723
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Technical Specifications of Structural Health Monitoring for Highway Bridges: New Chinese Structural Health Monitoring Code

Frontiers in Built Environment
BuildingDevelopmentUrban StudiesPlanningConstructionGeography
2018English

On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Utilization of Mobile Agents for Building a Secure Decentralized Energy System With Remote Monitoring

International Journal of Computing and Digital Systems
Computer GraphicsHuman-Computer InteractionComputer NetworksCommunicationsInformation SystemsComputer-Aided DesignInnovationManagement of TechnologyArtificial Intelligence
2016English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2008English

Decentralized Leadership

2017English

Testing and Analysis of Centralized and Decentralized Mode Estimation Architectures for Active Distribution Network Monitoring

2017English

An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming
Software
2019English

Decentralized Group Formation

Journal of Internet Services and Applications
Computer NetworksComputer Science ApplicationsCommunications
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy