Open Source Standard ML Formats and Protocols
Sort By:
Standard ML Formats and Protocols
View related business solutionsBrowse free open source Standard ML Formats and Protocols and projects below. Use the toggles on the left to filter open source Standard ML Formats and Protocols by OS, license, language, programming language, and project status.
-
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
Get the most trusted enterprise browserDefend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
-
1
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.
-
2
Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
-
3
The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
-
4
OSML is an XML Schema for building web content. Built as an event handler, OSML gives the ability to create and manage elements interactively. OSML is compatible with JAVA / XML technology and has been extremely tested with Cocoon 2 Framework.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
5
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.
-
6
-
7
-
8
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
- Previous
- You're on page 1
- Next