Norm-regulated Transition System Sit.

Implementation of Norm-regulated Transition System Situations

Brought to you by: higmbm

Downloads: 0 This Week

Last Update: 2016-04-15

Browse Code ▾

Add to Preferred Sources

Java/Prolog implementation of Norm-regulated Transition System Situations, as described in the paper Norm-regulated Transition System Situations, presented at the ICAART 2013 conference (see project homepage).

Project Activity

See All Activity >

Follow Norm-regulated Transition System Sit.

Norm-regulated Transition System Sit. Web Site

Other Useful Business Software

PRTG Catches Network Issues Before They Cause Downtime Icon

PRTG Catches Network Issues Before They Cause Downtime

Threshold-based alerts flag problems early, so your team can act before users notice, not after.

Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.

Download 30-Day Trial

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Norm-regulated Transition System Sit.!

Additional Project Details

Registered

2013-04-17

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Ares
Ares stands for Aural RPG Experience System. It is used to create and play music lists, background sounds or special sound effects for different situations during (pen & paper) role-playing.
Validation Manager
Validation Manager is a tool to handle all the cumbersome paperwork of regulated environment validations. Including Validation Plans, protocols, executions and exceptions. Keeping everything in one place and best of all paperless. Source is hosted on Bitbucket: https://bitbucket.org/javydreamercsw/validation-manager
SMC - The State Machine Compiler
Translates state machine into a target programming language.
PG2PLplot
A library to aid the transition from PGplot to PLplot in Fortran
ddtFoam
OpenFOAM solver to simulate the deflagration-to-detonation transition