The Academic Failure with Alloy Alloy Amazing Type System

Source URL: alloytools.org

Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor)

Source URL: community.haskell.org

• Software engineering
• Programming language theory
• Computer programming
• Functional languages
• Debugging
• Literate programming
• Haskell
• Program slicing
• Insertion sort

R The OpenGL Graphics System: A Specification (Version 4.6 (Compatibility Profile) - May 14, 2018)

Source URL: www.khronos.org

• Computing
• Computer programming
• 3D computer graphics
• OpenGL
• Application programming interfaces
• Cross-platform software
• Graphics libraries
• Video game development
• Shader
• Shading language
• Framebuffer object
• Pixel buffer

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Source URL: isabelle.in.tum.de

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Mathematical logic
• Algebraic structures
• Predicate logic
• Distributive lattice
• Complete Heyting algebra
• Mereology
• Partially ordered set

Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy

Source URL: cgi.csc.liv.ac.uk

• Modeling and simulation
• Multi-agent systems
• Simulation
• Artificial intelligence
• Systems science
• Model checking
• Agent-based model
• Economic model
• Intelligent agent
• MAS

/usr/local/5pF A Character Creation System for use with: Document version: based upon: Five-Point Fudge, as presented in the Fudge System Reference Documentedition).

Source URL: wanderinghorse.net

CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io

Source URL: www.centrifuge.io

• Supply chain management
• Computing
• Computer architecture
• Economy
• Decentralization
• Cryptocurrencies
• File sharing
• Peer-to-peer
• Supply-chain management
• Blockchain
• Internet privacy
• Supply chain

A Distributed Online Multi-Agent Planning System (Dissertation Abstract) Rafael C. Cardoso {} Supervisor: Rafael H. Bordini FACIN-PUCRS

Source URL: icaps16.icaps-conference.org

• Multi-agent systems
• Automated planning and scheduling
• Artificial intelligence
• Computing
• Systems science
• Multi-agent planning
• Hierarchical task network
• Intelligent agent
• Planning Domain Definition Language
• Agent-based model
• Planning
• Norm

Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Non-volatile memory
• Computer memory
• Computer architecture
• Flash memory
• Wear leveling
• Solid-state drive
• Flash file system
• Dd
• Page

Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College London

Source URL: smeiklej.com