Your top-rated shield against malware and online scams | Avast Free Antivirus
Browse and email in peace, supported by clever AI
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
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.
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
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.
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
MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
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 !
Focus on your application, and leave the database to us
Fully managed, cost-effective relational database service for PostgreSQL, MySQL, and SQL Server. Try Enterprise Plus edition for a 99.99% availability SLA and category-leading performance.
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.