Search Constraints
« Previous |
1 - 20 of 48
|
Next »
Search Results
Select an image to start the slideshow
A Coq Formalization of Unification Modulo Exclusive-Or
1 of 20
Sales Training and Swaption Pricing under New Regulatory Environment
2 of 20
Information Sharing at Bank of America
3 of 20
Information Sharing at Bank of America
4 of 20
User Evaluation Framework for Model Finding Research
5 of 20
A Framework for Exploring Finite Models
6 of 20
Multi-Decision Policy and Policy Combinator Specifications
7 of 20
First-Order Models for Configuration Analysis
8 of 20
Noninterference in Concurrent Game Structures
9 of 20
Graph Decompositions and Monadic Second Order Logic
10 of 20
Formalization and Verification of Rewriting-Based Security Polices
11 of 20
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
12 of 20
Privacy in Online Social Networks
13 of 20
BNP Paribas: Equity Smart Order Router
14 of 20
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
15 of 20
Generating Universal Models for Geometric Theories
16 of 20
Data Generation, Distribution & Management
17 of 20
Enterprise Architecture
18 of 20
Analysis of social networks using Facebook
19 of 20
Protocol Analysis via The Chase
20 of 20