Results 221 to 230 of about 39,445 (266)
Some of the next articles are maybe not open access.
Service Ecologies for Home/Building Automation
IFAC Proceedings Volumes, 2012Abstract Service ecologies are networks of services pervasively embedded in everyday environments, e.g., smart homes, where they are composed and orchestrated in order to provide advanced functionalities. In this paper, we show how the interplay of off-line and on-line composition of services can improve flexibility and adaptiveness.
CARUSO, MARIO +5 more
openaire +3 more sources
Automated Reasoning Building Blocks
2015There are automated reasoning building blocks shared between the prime calculi for propositional and first-order logic with equality, conflict driven clause learning (CDCL) and superposition, respectively. In this paper I identify these building blocks by a projection of superposition to propositional logic.
openaire +2 more sources
Building automation security in office buildings
Computer Fraud & Security, 2004In many commercial facilities, the electronic systems that provide physical protection - such as card readers, closed-circuit TV and motion sensors - are themselves networked. This is also true of building utilities such as HVAC and lighting. These systems may be using proprietary protocols, or they may be on the same Ethernet network as the rest of a ...
openaire +1 more source
Reference Model for Building Automation
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023Jürgen Pannosch, Wolfgang Kastner
openaire +1 more source
Tree Automata and Automated Model Building
Fundamenta Informaticae, 1997The use of regular tree grammars to represent and build models of formulae of first-order logic without equality is investigated. The combination of regular tree grammars with equational constraints provides a powerful and general way of representing Herbrand models. We show that the evaluation problem (i.e.
openaire +2 more sources
Automated patching for unreproducible builds
Proceedings of the 44th International Conference on Software Engineering, 2022Zhilei Ren +5 more
openaire +1 more source
A critical review of cyber-physical security for building automation systems
Annual Reviews in Control, 2023Lingyu Ren, TERESA Wu, Jin Wen
exaly
A systematic review and meta-analysis of building automation systems
Building and Environment, 2021Timothy O'Grady +2 more
exaly