Using semi-formal methods for detecting interactions among smart homes policies

DOI10.1016/J.SCICO.2006.11.002zbMATH Open1119.68318OpenAlexW2068157922MaRDI QIDQ997225FDOQ997225

Authors: Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo 

Publication date: 23 July 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.11.002

Recommendations

• scientific article; zbMATH DE number 2088510
• Predicting feature interactions by using inconsistency models
• scientific article; zbMATH DE number 2202203
• Feature interaction: a critical review and considered forecast.
• Objects, Agents, and Features

zbMATH Keywords

feature interactionpoliciessemi-formal methodssmart homes

Mathematics Subject Classification ID

Distributed systems (68M14)

This page was built for publication: Using semi-formal methods for detecting interactions among smart homes policies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997225)