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
A Natural Language Interface Using First Order Logic
9 of 34
Modeling and Analyzing Security Requirements for Java
10 of 34
Interactive Model Finding with Hominy
11 of 34
Generating Universal Models for Geometric Theories
12 of 34
Environment Cockpit
13 of 34
Environment Cockpit
14 of 34
Enterprise Architecture
15 of 34
Data Generation, Distribution & Management
16 of 34
Core Finding for Relational Structures
17 of 34
Changing Business Practices in a New Regulatory Environment
18 of 34
Global Credit Products Technology SPV Reporting Tool
19 of 34
BNP Paribas: Systems Analysis and Concept Development
20 of 34
BNP Paribas: Enterprise Architecture
21 of 34
BNP Paribas: Equity Smart Order Router
22 of 34
Build and Release Optimization of the Structured Credit Desktop
23 of 34
A Formalization of Strand Spaces in Coq
24 of 34
Formal Verification of Boolean Unification Algorithms with Coq
25 of 34
A Tactic For Setoid Congruence
26 of 34
Live score synchronization II
27 of 34
Model checking for role-based access control
28 of 34
Normalization for metadata
29 of 34
Theory assistant
30 of 34
Theory Assistant 2
31 of 34
Timing diagram to Buchi automation translation
32 of 34
X2S
33 of 34
Privacy in Online Social Networks
34 of 34
