Search Constraints
« Previous |
21 - 37 of 37
|
Next »
Search Results
Select an image to start the slideshow
Data Generation, Distribution & Management
1 of 17
Enterprise Architecture
2 of 17
Environment Cockpit
3 of 17
Environment Cockpit
4 of 17
Generating Universal Models for Geometric Theories
5 of 17
Interactive Model Finding with Hominy
6 of 17
Modeling and Analyzing Security Requirements for Java
7 of 17
A Natural Language Interface Using First Order Logic
8 of 17
Privacy in Online Social Networks
9 of 17
Protocol Analysis via The Chase
10 of 17
Risk Reporting Techniques
11 of 17
Scenarios for Description Logic
12 of 17
Towards a Transition System Semantics for Alloy
13 of 17
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
14 of 17
Translating Alloy to SMT-LIB
15 of 17
Trusted Execution Environments with Architectural Support: Foundations and Implementation
16 of 17
Wall Street Project
17 of 17