Interoperability

Results: 7210



#Item
1Mathematical logic / Theoretical computer science / Mathematics / Type theory / Logic in computer science / Dependently typed programming / Formal methods / Logical framework / Proof theory / First-order logic / Lambda calculus / Calculus of constructions

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
2Computing / Cloud computing / IT infrastructure / Cloud infrastructure / Cloud standards / Open Cloud Computing Interface / Interoperability / Software portability / Cloud Infrastructure Management Interface / IBM cloud computing / Draft:Cloud service provider

Multi-Cloud Portability & Interoperability Nabil Abdennadher • 1

Add to Reading List

Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com

Language: English - Date: 2015-10-26 04:16:47
3Ethernet / Computing / Network architecture / Reconfigurable optical add-drop multiplexer / Interoperability / Optical networking / 100 Gigabit Ethernet / Mesh networking / Gigabit Ethernet / Information and communications technology / Optical add-drop multiplexer

OpenROADM Compliant SDN Controller for a Full Interoperability of the Optical Transport Network Ahmed Triki(1) , Christophe Betoule(1) , Gilles Thouenon(1) , Olivier Renais(1) Nicolas Pelloquin(1) , Guillaume Lambert (1)

Add to Reading List

Source URL: www.research.att.com

Language: English - Date: 2018-10-23 15:32:38
4Cryptocurrencies / Blockchains / Ethereum / Computing / Concurrent computing / Distributed computing / Bitcoin / Alternative currencies / Joseph Lubin / Cardano / Draft:Ambisafe Software / Monax

Matthew Spoke is the founder of Aion, a world-leading blockchain protocol designed to solve the most prevalent challenges limiting blockchains mainstream adoption: scalability, interoperability and governance. Matt serve

Add to Reading List

Source URL: aion.network

Language: English - Date: 2018-09-24 13:44:10
5

Semantic Interoperability Community of Practice (SICoP) Semantic Web Applications for National Security Conference Hyatt Regency Crystal City, Regency Ballrooms E and F Brand Niemann (US EPA) and Rick Morris (U.S. Army),

Add to Reading List

Source URL: www.daml.org

Language: English - Date: 2005-04-19 10:56:20
    6

    Lifespan and Care New England’s New Epic Electronic Health Record Now Sharing Patient Data with CurrentCare for Better, More Coordinated Care CurrentCare and Epic’s interoperability improving quality, safety and effi

    Add to Reading List

    Source URL: www.currentcareri.org

    Language: English - Date: 2015-04-16 12:29:01
      7

      In the NIC of Time: Six Months of Progress for the National Interoperability Collaborative The National Interoperability Collaborative (NIC) is designed to increase collaboration among the sectors that impact health and

      Add to Reading List

      Source URL: stewardsofchange.com

      Language: English - Date: 2017-12-21 12:17:17
        8

        HomePlug® AV2 Technology Raising the Bar for Sustained High-Throughput Performance and Interoperability for Multi-stream Networking Using Existing Powerline Wiring in the Home. Copyright © , HomePlug Powerlin

        Add to Reading List

        Source URL: www.homeplug.org

        Language: English
          9

          Interoperability and Integration Requirements

          Add to Reading List

          Source URL: www.flcourts.org

          Language: English - Date: 2016-09-20 12:16:32
            10

            Connecting Health and Care for the Nation: A Shared Nationwide Interoperability Roadmap - Draft Version 1.0

            Add to Reading List

            Source URL: www.healthit.gov

            Language: English - Date: 2017-03-31 20:29:06
              UPDATE