Search Constraints
« Previous |
21 - 37 of 37
|
Next »
Search Results
Select an image to start the slideshow
BNP Paribas: Systems Analysis and Concept Development
1 of 17
BNP Paribas: Enterprise Architecture
2 of 17
Modeling and Analyzing Security Requirements for Java
3 of 17
Risk Reporting Techniques
4 of 17
Interactive Model Finding with Hominy
5 of 17
Environment Cockpit
6 of 17
X2S
7 of 17
Live score synchronization II
8 of 17
Theory Assistant 2
9 of 17
Normalization for metadata
10 of 17
Trusted Execution Environments with Architectural Support: Foundations and Implementation
11 of 17
A Natural Language Interface Using First Order Logic
12 of 17
Model checking for role-based access control
13 of 17
A Tactic For Setoid Congruence
14 of 17
Scenarios for Description Logic
15 of 17
Environment Cockpit
16 of 17
A Formalization of Strand Spaces in Coq
17 of 17