Global warming attracts increasing public attention. However, in the past few decades, the
contribution of construction to greenhouse gas emissions is around 40% of total emissions …

In recent years, there have been concentrations on the Digital Twin from researchers and
companies due to its advancement in IT, communication systems, Cloud Computing, Internet …

Classroom sensing is an important and active area of research with great potential to
improve instruction. Complementing professional observers–the current best practice …

The advances in modern networking processing and storage technologies have led to the
foundation of a new concept of digital twins (DTs). Digital twins refer to the representation of …

Defining control scenarios in a smart home is a difficult task for end users. In particular, one
concern is that user-defined scenarios could lead to unsafe or undesired state of the system …

Smart home is a relatively new technology. Originally, smart home technology was used to
control environmental systems such as lighting and heating; but recently the use of smart …

The use of high-level abstraction models can facilitate and improve not only system
development but also runtime system evolution. This is the idea of this work, in which …

A smart house is a complex system, and configuring it to act as desired is difficult and error
prone. In this paper we extend a previously developed framework based on timed automata …

Personal Information Displays (PID) at bus stops help making the usage of public transport
more attractive. If no electric grid is nearby, however, the installation of PIDs is very …

VERIFIKASI DAN VALIDASI ARSITEKTUR BISNIS DENGAN METODE FORMAL DALAM UPAYA
EFISIENSI PERENCANAAN STRATEGIS ORGANISASI (STUDI KAS Page 1 VERIFIKASI DAN …