Over two-thirds of people reuse passwords across sites, resulting in an increasingly insecure e-commerce ecosystem. Learn how passwordless can not only mitigate these issues but make the authentication experience delightful. Implement Auth0 in any application in just five minutes
Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.
SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.
GRaPe - a platform-independent software tool for building integrative gene-reaction-protein (GRP) networks. It generates the kinetic equations for each reaction and outputs a SBML document. It also implements two methods for parameter estimation.
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
This package contains the original scpfw (A "framework" for teaching CP), JISIMONEK (a Java Implementation of the SIMONEK model) and SISONEK (a Java environment for studying Joinable Schedules).
The WAW tools provide a more automated approach to web harvesting, based on archival principles, automated process and human decision-making. The model seeks to use archival principles to preserve documents on the web.
For small and mid-sized businesses that need a comprehensive payroll and HR solution with personalized support
We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
A 3D Captcha implementation using Pov Ray and JSF.
A user is presented with the challenge of identifying various objects.
The image is generated out of a 3D model in which the different elements and element attributes are randomized.
A Java program to enable users to comprehend the "Contraction and Convergence" model for reduction in carbon emissions as proposed by the Global Commons Institute. Intended primarily as a demo for government delegates at UN conferences
A project which will provide a specification, a reference model and software prototypes for an extendable e-learning desktop, or Personal Learning Environment.
CMI Service is a document literal wrapped SOAP style web service based on the IEEE 1484.11.3 schema for the Content Object Communication Data Model. The schema is related to the data model used in the widely deployed SCORM profile for e-learning systems.
Open Learning Management System (Open LMS). An online Course Management System (CMS, LMS). Tools for online teaching including course builder, syllabus, discussion forum, announcements, file up-loader, grade book, calendar, secure login, email list.
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
A tool based on the model proposed by Bellman & Zadeh (1970) fuzzy logic (fuzzy sets) decision support paper. The first version of the application was developed in Java (pure java + jgoodies and some other APIs).
Now it is being rewritten using nebular, a pure Java fuzzy API.
The Campaign Simulator is an attempt to statistically model and predict the outcome of an American presidential election; several users assume the roles of competitive candidates and inflict the repercussions of certain decisions on a GSS based dataset.
Pulga is a program for numerical simulation of dynamical systems designed to provide students and researchers an easy way to model and qualitatively analyse their systems on a computer without the difficulty of traditional computer programming languages.
JFrame is Model View Controller Model2 framework for Web based applications written
in Java language. It is very simple and emphasis on security and stability.
Because of it simplicity this framework can be used and for studying
purposes.
EM Demonstration is a little tool for Physics teachers and students that helps model electric fields in flux lines as well as draw equipotential regions. Simply put, it is a classroom demonstration/modeler. Please help support us and donate.