Search Constraints
« Previous |
1 - 10 of 20
|
Next »
Search Results
Select an image to start the slideshow
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
1 of 10
Development of a Data-Grounded Theory of Program Design in HTDP
2 of 10
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
3 of 10
Event stream analytics
4 of 10
User Evaluation Framework for Model Finding Research
5 of 10
Similarity Reasoning over Semantic Context-Graphs
6 of 10
A Framework for Exploring Finite Models
7 of 10
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources
8 of 10
Extending Complex Event Processing for Advanced Applications
9 of 10
First-Order Models for Configuration Analysis
10 of 10