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

DOI10.1016/J.SCICO.2006.11.002MaRDI QIDQ997225zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

feature interactionpoliciessemi-formal methodssmart homes

Mathematics Subject Classification ID

Distributed systems (68M14)

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

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)