|
|
|
Tirza Carol Gracia Tompodung,Siti Badriyah Rushayati,M. Nur Aidi
Pág. 170 - 177
Since 2006, Ministry of Environment has promote environmental education, within the framework of a program for education for sustainable development to raise enviromental knowledge and awareness called Adiwiyata. Adiwiyata program runs on a voluntary and...
ver más
|
|
|
|
|
|
|
Jing Liu, Xuesong Hai and Keqin Li
Massive amounts of data drive the performance of deep learning models, but in practice, data resources are often highly dispersed and bound by data privacy and security concerns, making it difficult for multiple data sources to share their local data dir...
ver más
|
|
|
|
|
|
|
Giacomo Bergami
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora...
ver más
|
|
|
|
|
|
|
Dipayan Mazumder, Mithun Datta, Alexander C. Bodoh and Ashiq A. Sakib
The increasing demand for high-speed, energy-efficient, and miniaturized electronics has led to significant challenges and compromises in the domain of conventional clock-based digital designs, most notably reduced circuit reliability, particularly in mi...
ver más
|
|
|
|
|
|
|
Shunfang Hu, Shaoping Jiang, Qing Miao, Fan Yang, Weihong Zhou and Peng Duan
With the rise of the Internet of Things (IoT), maintaining data confidentiality and protecting user privacy have become increasingly challenging. End devices in the IoT are often deployed in unattended environments and connected to open networks, making ...
ver más
|
|
|
|
|
|
|
Fawad Ali Mangi, Guoxin Su and Minjie Zhang
The study of business process analysis and optimisation has attracted significant scholarly interest in the recent past, due to its integral role in boosting organisational performance. A specific area of focus within this broader research field is proce...
ver más
|
|
|
|
|
|
|
Dario Guidotti, Laura Pandolfo and Luca Pulina
Interest in machine learning and neural networks has increased significantly in recent years. However, their applications are limited in safety-critical domains due to the lack of formal guarantees on their reliability and behavior. This paper shows rece...
ver más
|
|
|
|
|
|
|
Benedetto Intrigila, Giuseppe Della Penna, Andrea D?Ambrogio, Dario Campagna and Malina Grigore
Requirements management is a key aspect in the development of software components, since complex systems are often subject to frequent updates due to continuously changing requirements. This is especially true in critical systems, i.e., systems whose fai...
ver más
|
|
|
|
|
|
|
Giriraj Sharma, Amit M. Joshi and Saraju P. Mohanty
This paper presents a hardware-assisted security primitive that integrates the Trusted Platform Module (TPM) into IoT devices for authentication in smart grids. Data and device security plays a pivotal role in smart grids since they are vulnerable to var...
ver más
|
|
|
|
|
|
|
Tao Feng, Chengfan Liu, Xiang Gong and Ye Lu
The integration of buses in industrial control systems, fueled by advancements such as the Internet of Things (IoT), has led to their widespread adoption, significantly enhancing operational efficiency. However, with the increasing interconnection of sys...
ver más
|
|
|
|