Filters








7 Hits in 0.74 sec

Behavior Verification for Business Processes based on Testing and Anomaly Detection [chapter]

Kristof Böhmer
2018 GI Ausgezeichnete Informatikdissertationen  
Hierbei zeigte sich, dass das Interesse an der Thematik gestiegen ist bzw. die relevanten Publikationszahlen in den letzten Jahren zugenommen haben (3 im Jahr 2014 im Vergleich zu 10 im Jahr 2018).  ... 
dblp:series/gidiss/Bohmer18 fatcat:a7tmsvoxyfgnblwg4berxsplba

Erkennung mobiler Schadsoftware mit maschinellen Lernverfahren [chapter]

Daniel Arp
2019 GI Ausgezeichnete Informatikdissertationen  
In: Proc. of Network and Distributed System Security Symposium (NDSS). 2014. 4Z usammenfassung der wichtigsten Ergebnisse In der Dissertation wird eine neuartige Methode namens DREBIN vorgestellt, die  ... 
dblp:series/gidiss/Arp19 fatcat:ke5cn6hxgngt5bwdhronteg4xq

Misbehavior Detection in Cooperative Intelligent Transport Systems [chapter]

Rens W. van der Heijden
2018 GI Ausgezeichnete Informatikdissertationen  
., Darmstadt Technical University, 2014. beschreiben und klassifizieren wir verschiedene Erkennungsansätze die bereits in der Literatur behandelt sind.  ... 
dblp:series/gidiss/Heijden18 fatcat:khb7oocsyfen7ahjztf4qinmjy

A Categorical Approach to Algebraic [chapter]

Henning Urbat
2018 GI Ausgezeichnete Informatikdissertationen  
Springer, S. 366-380, 2014. das Urbild von S bzgl. h. Beispiel. Zur Illustration betrachten wir die Sprache L = (aa) * aller Wörter gerader Länge über dem Alphabet Σ = {a}.  ... 
dblp:series/gidiss/Urbat18 fatcat:avbypkexgbbp3nugrl7jdw7qf4

Verbessertes Virtual Prototyping für den Entwurfsablauf [chapter]

Vladimir Herdt
2020 GI Ausgezeichnete Informatikdissertationen  
Literaturverzeichnis Vladimir Herdt erhielt 2014 den M.Sc. in Informatik von der Universität Bremen, Deutschland.  ... 
dblp:series/gidiss/Herdt20 fatcat:fc3n4qwf7ndgdj2h52hqbnp4mq

Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken

Andreas Steigmiller
2016 Jahrestagung der Gesellschaft für Informatik  
(Hrsg.): Ausgezeichnete Informatikdissertationen 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2018 259 Steigmiller, Andreas Optimierung von Schlussfolgerungssystemen  ...  Beispielsweise konnte Konclude in der OWL Reasoner Competition (ORE) 2014 in 5 von 6 Disziplinen den ersten Platz belegen und in ORE 2015 in weiteren 4 von 6.  ... 
dblp:conf/gi/Steigmiller16 fatcat:vz7o4tpqy5gsndyrbxuvn3vtti

AKWI Nr. 10 (2019)

Konrad Marfurt, Christian Müller, Frank Herrmann, Norbert Ketterer
2019 Zenodo  
In: Dorothea Wagner (Hg.): Ausge- zeichnete Informatikdissertationen 2006. Bonn: Ges. für Informatik (Lecture notes in informatics, D-7).  ...  CPS werden insbesondere dadurch ausgezeichnet, dass verschiedene IT-Komponenten mit mechanischen oder auch elektroni- schen Elementen untereinander kommunizieren.  ... 
doi:10.5281/zenodo.3587635 fatcat:d5vvet3lunbttjzmxkqzlr6xnu