Auflistung it - Information Technology 62(5-6) - August 2020 nach Erscheinungsdatum - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-10 von 10

«
»

From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction

Tarraf, Ahmad; Hedrich, Lars
257-270
Exploring hardware accelerator offload for the Internet of Things

Cooke, Ryan A.; Fahmy, Suhaib A.
207-214
Internet of Things

Steinhorst, Sebastian
205-206
Modeling advanced security aspects of key exchange and secure channel protocols

Günther, Felix
287-293
Temporal-based intrusion detection for IoV

Hamad, Mohammad; Hammadeh, Zain A. H.; Saidi, Selma; Prevelakis, Vassilis
227-239
Frontmatter

Frontmatter
I-IV
Streamlining IoT system development with open standards

Korkan, Ege; Kaebisch, Sebastian; Steinhorst, Sebastian
215-226
The power of locality: Exploring the limits of randomness in distributed computing

Maus, Yannic
271-278
A survey on time-sensitive resource allocation in the cloud continuum

Ramanathan, Saravanan; Shivaraman, Nitin; Suryasekaran, Seima; Easwaran, Arvind; Borde, Etienne; Steinhorst, Sebastian
241-255
Efficient machine learning for attack detection

Wressnegger, Christian
279-286

Anzeige der Dokumente 1-10 von 10

«
»