Search Constraints
« Previous |
21 - 40 of 48
|
Next »
Search Results
Select an image to start the slideshow
Towards a Transition System Semantics for Alloy
1 of 20
Changing Business Practices in a New Regulatory Environment
2 of 20
Build and Release Optimization of the Structured Credit Desktop
3 of 20
Global Credit Products Technology SPV Reporting Tool
4 of 20
Timing diagram to Buchi automation translation
5 of 20
Theory assistant
6 of 20
Core Finding for Relational Structures
7 of 20
Formal Verification of Boolean Unification Algorithms with Coq
8 of 20
Protocol Analysis via The Chase
9 of 20
Analysis of social networks using Facebook
10 of 20
Enterprise Architecture
11 of 20
Data Generation, Distribution & Management
12 of 20
Generating Universal Models for Geometric Theories
13 of 20
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
14 of 20
BNP Paribas: Equity Smart Order Router
15 of 20
Privacy in Online Social Networks
16 of 20
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
17 of 20
Formalization and Verification of Rewriting-Based Security Polices
18 of 20
Graph Decompositions and Monadic Second Order Logic
19 of 20
Noninterference in Concurrent Game Structures
20 of 20