Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Simple, Secure Domain Registration
Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.
Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
The application is intended for extract performance risks from UML models stored in an Enterprise Architect database and displaying them on a user friendly interface.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
PetriNetExec a library for embedding Petri Nets into Java applications
Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application.
Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network.
* PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this news I suggest to read further;
* Petri Nets are created with PetriNetExec by writing Java code and using the provided API;
* PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing.
* PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it.
* PetriNetExec is open-source.
Php2Xmi is a command-line tool written in PHP which scans PHP classes and builds an XMI file with UML representaion of classes found. XMI could be viewed using KDE's Umbrello modelling tool
Pi combines a programming language (comparable to 'R') with an advanced GUI including 3D and 2D visualizations and a highly flexible interface to analyse, visualize and manipulate data. It is extendible by C++ librarys as well as by Pi-scripts
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools
Professional Email Hosting for Small Business | Greatmail
Ready to switch to a more reliable and secure email hosting solution?
Dependable cloud based email hosting with spam filtering, antivirus protection, generous storage and webmail. Compatible with Outlook and all other POP3/IMAP clients. High volume SMTP service for responsible senders. Outbound relay service for transactional messages, email marketing campaigns, newsletters and other applications. Dedicated email servers, clustering and multiple IP load balancing for high volume senders. Fixed monthly cost with unlimited sending and reputation monitoring. Greatmail is an email service provider (ESP) specializing in business class email hosting, SMTP hosting and email servers. For ISPs, application programmers and cloud developers, we also provide custom solutions including dedicated IP servers and process specific, load balanced configurations with multiple servers.
Scribble is a language for describing global (choreography) and local (service endpoint) behaviour. Extensible tools are provided, both standalone and as Eclipse plugins, to edit the language, perform validation and export to other appropriate notations.
PopED (Population Experimental Design) is a software tool for computing optimal experimental designs. The software has been developed with an emphasis on drug trials based on population models (non-linear mixed effects models).
PROFACE is a User Interface Prototyper developed in Java. The objective of Proface is not code generation, but allow design/creation of interface idea with colors, buttons, texts, images, links and others.
This project provides a set of Python tools for creating various kinds of neural networks, which can also be powered by genetic algorithms using grammatical evolution. MLP, backpropagation, recurrent, sparse, and skip-layer networks are supported.
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension.
QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.
This is an entity relationship diagram visualization widget programmed on QT4. With this tool you can draw objects (computers, people, whatever), and the relationship between them.
QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.
QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.
The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.
ROO is an (OWL) ontology construction tool based on Protégé 4. ROO makes the ontology building process easier as it provides guidance about the steps involved and it allows to enter knowledge using an easy to learn controlled natural language.
Reflective Ecore Model Diagram Editor is a GMF based Eclipse plugin which provides a graphical editor for any EMF model file, using only the meta-model such as .ecore and .xsd file. You don't need any .gmfgraph, .gmftool, .gmfmap, or .gmfgen files.
Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.