Search Constraints
Search Results
Select an image to start the slideshow
Wall Street Project
1 of 34
Trusted Execution Environments with Architectural Support: Foundations and Implementation
2 of 34
Translating Alloy to SMT-LIB
3 of 34
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
4 of 34
Towards a Transition System Semantics for Alloy
5 of 34
Scenarios for Description Logic
6 of 34
Risk Reporting Techniques
7 of 34
Protocol Analysis via The Chase
8 of 34
Privacy in Online Social Networks
9 of 34
A Natural Language Interface Using First Order Logic
10 of 34
Modeling and Analyzing Security Requirements for Java
11 of 34
Interactive Model Finding with Hominy
12 of 34
Generating Universal Models for Geometric Theories
13 of 34
Environment Cockpit
14 of 34
Environment Cockpit
15 of 34
Enterprise Architecture
16 of 34
Data Generation, Distribution & Management
17 of 34
Core Finding for Relational Structures
18 of 34
Changing Business Practices in a New Regulatory Environment
19 of 34
Global Credit Products Technology SPV Reporting Tool
20 of 34
BNP Paribas: Systems Analysis and Concept Development
21 of 34
BNP Paribas: Enterprise Architecture
22 of 34
BNP Paribas: Equity Smart Order Router
23 of 34
Build and Release Optimization of the Structured Credit Desktop
24 of 34
A Formalization of Strand Spaces in Coq
25 of 34
Formal Verification of Boolean Unification Algorithms with Coq
26 of 34
A Tactic For Setoid Congruence
27 of 34
Live score synchronization II
28 of 34
Model checking for role-based access control
29 of 34
Normalization for metadata
30 of 34
Theory assistant
31 of 34
Theory Assistant 2
32 of 34
Timing diagram to Buchi automation translation
33 of 34
X2S
34 of 34
