- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2015
- Identifier
-
1069289868
Thema
Taktik ; Interaktives Beweissystem ; Typ ; Hochschulschrift
Beteiligte Personen und Organisationen
Ziliani, Beta
Dreyer, Derek
Dreyer, Derek
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Ziliani, Beta
- Dreyer, Derek
Ähnliche Objekte (12)
Coalition formation among rational agents in uncertain and untrustworthy environments
Soundtrack recommendation for images
Analysis of preemptively scheduled hard real-time systems
Replaying and Isolating Failure-Inducing Program Interactions
Automatic authorization analysis
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
TLB virtualization in the context of hypervisor verification
The SEMAINE API : a component integration framework for a naturally interacting and emotionally competent embodied conversational agent
Effective searching of RDF knowledge bases
Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
Declarative design and enforcement for secure cloud applications
Analysis of algorithms for online uni-directional conversion problems
Coalition formation among rational agents in uncertain and untrustworthy environments
Soundtrack recommendation for images
Analysis of preemptively scheduled hard real-time systems
Replaying and Isolating Failure-Inducing Program Interactions
Automatic authorization analysis
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
TLB virtualization in the context of hypervisor verification
The SEMAINE API : a component integration framework for a naturally interacting and emotionally competent embodied conversational agent
Effective searching of RDF knowledge bases
Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
Declarative design and enforcement for secure cloud applications
Analysis of algorithms for online uni-directional conversion problems
Coalition formation among rational agents in uncertain and untrustworthy environments
Soundtrack recommendation for images
Analysis of preemptively scheduled hard real-time systems
Replaying and Isolating Failure-Inducing Program Interactions
Automatic authorization analysis
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
TLB virtualization in the context of hypervisor verification
The SEMAINE API : a component integration framework for a naturally interacting and emotionally competent embodied conversational agent
Effective searching of RDF knowledge bases
Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
Declarative design and enforcement for secure cloud applications