Research Tools: code, datasets, & models
Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
Tool
Distributed Scheduling
This simulator provides four distributed algorithms which solve the random distributed log-based reconciliation problem, an important problem occurring in Computer Supported Cooperative Work. The problem is formalized using the Distributed Constraint Satisfaction paradigm. In the…
Tool
TulaFale: A Security Tool for Web Services
TulaFale is a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties. TulaFale is based on the pi calculus (for writing collections of SOAP processors running in parallel), plus XML…