Full access to Enterprise features. No credit card required.
What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
Try ServoDesk for free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
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.
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
The aim of this project is to to provide a set of interrelated modeling languages that can be used to model businesses and their related entities. The language will covers aspects such as business process, organizational structure, and business entities
MudMop, abbr. for Multi-User Discontinuous system MOdeling Platform, is an enterprise application framework, stands on modeling real world business which is discontinuous, and build business perspective data view and process operations to multi-users
The SBeaVeR editor is an Eclipse based plugin that allows business modellers and analysts to create fact-oriented business models and rules based on OMG's SBVR standard.
It is part of the DBE project.
Yop is an object oriented persistence API generator.It supports various programming languages such as PHP5 and Java.The goal of this project is to provide an easiest and fastest way to deal with persistence by using a simple XML object description format
SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.
Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.
MEM Net - Mote EMulator Network.
This project will focus on:
1) MEM - Wireless Sensor Node (mote) emulator
2) MEM Net - network of emulated motes
So far, the only released package is visual-sim-slides.
More comming next !
Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB 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.
Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution.
This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling".
Feel free to make any changes to the current version or ask me if you have any question.
A UI that displays a map that uses "wormholes" to navigate to a user's favorite locations. The map will display locations at scales as diverse as galaxies, planets, houses, living beings, internal organs, and even atoms and sub-atomic particles.
An eclipse RCP project for quickly and easyly to develop javaproject, for developer or designer. It includes some model definition about data, rule, flow. Of course, an IDE for them.
Entity Relationship Designer written totally in java (using Sun Java Studio) and based on Mogwai ER Designer. Includes ability to connect to several data sources including mySQL.