Results 201 to 210 of about 135,259 (261)

Lightweight Automated Reasoning for Network Architectures

open access: yesProceedings of the 23rd ACM Workshop on Hot Topics in Networks
Rahul Bothra   +4 more
openaire   +1 more source
Some of the next articles are maybe not open access.

Related searches:

Automated driving - Impacts on the vehicle architecture

2015 Symposium on VLSI Technology (VLSI Technology), 2015
In the years between now and 2022, the foundation for automated driving will be developed. Automated driving will not be introduced in the market at once and not with the same electrical and electronics (E/E) architecture; it will be introduced piece by piece and in different forms of E/E architectures.
Michael Fausten   +4 more
exaly   +2 more sources

A cognitive architecture for building automation

IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016
The operation of buildings holds the potential for significant energy savings and high flexibility during operation without affecting indoor comfort. The leverage for this potential is the building automation system, which can modify and optimize operation without the need of investments in energy systems or refurbishment of the envelope. The challenge
Gerhard Zucker   +3 more
openaire   +1 more source

An architecture for a home automation system

1998 IEEE International Conference on Electronics, Circuits and Systems. Surfing the Waves of Science and Technology (Cat. No.98EX196), 2002
This paper introduces home automation very briefly and mentions current standardisation trends in this field. Then, a new system architecture is proposed and its main characteristics are described. The proposed architecture has a distributed nature, is very modular and can be easily expanded in size and functionality.
Renato Nunes, José Delgado
openaire   +1 more source

Automating architectural security analysis

Proceedings of the 17th ACM symposium on Access Control Models and Technologies, 2012
In earlier work [1] we had looked at implementing the Microsoft STRIDE methodology in the context of evaluating security properties of FMC/TAM architectural diagrams. However, a major drawback of this approach is that it requires significant manual work to assess all reported potential threats, as well as identify concrete follow-ups.
Andreas Schaad, Alexandr Garaga
openaire   +1 more source

Home - About - Disclaimer - Privacy