Suchen
Suchergebnisse
Select an image to start the slideshow
A Coq Formalization of Unification Modulo Exclusive-Or
1 of 10
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
2 of 10
Development of a Data-Grounded Theory of Program Design in HTDP
3 of 10
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
4 of 10
Event stream analytics
5 of 10
User Evaluation Framework for Model Finding Research
6 of 10
Similarity Reasoning over Semantic Context-Graphs
7 of 10
A Framework for Exploring Finite Models
8 of 10
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources
9 of 10
Extending Complex Event Processing for Advanced Applications
10 of 10
