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