Search Constraints
« Previous |
1 - 10 of 48
|
Next »
Search Results
Select an image to start the slideshow
A Coq Formalization of Unification Modulo Exclusive-Or
1 of 10
Sales Training and Swaption Pricing under New Regulatory Environment
2 of 10
Information Sharing at Bank of America
3 of 10
Information Sharing at Bank of America
4 of 10
User Evaluation Framework for Model Finding Research
5 of 10
A Framework for Exploring Finite Models
6 of 10
Multi-Decision Policy and Policy Combinator Specifications
7 of 10
First-Order Models for Configuration Analysis
8 of 10
Noninterference in Concurrent Game Structures
9 of 10
Graph Decompositions and Monadic Second Order Logic
10 of 10