Search Results for "java security for linux"
Sort By:
Showing 9 open source projects for "java security for linux"
View related business solutions-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
Our Free Plans just got better! | Auth0You 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.
-
1
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models... -
2
Octclipse
Octave Eclipse GUI
Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac... -
3
gfit creates an interface between computational models and experimental data and provides tools for their analysis
-
4
Matlab, Maple and C/C++ applications of Linear Algebra in many domains, including curves in many dimensions, Cryptography and Chaos etc.
-
PromoTix is easy to use, blazingly fast, and jammed full of the features you need to sell tickets and registrations to your events.For organizers of events of all sizes including festivals, venues, concerts, workshops, courses, fundraisers, private events, conferences, fairs, tours, live streams, and sports arenas use PromoTix to sell tickets and market their events.
-
5
A Matlab toolbox for interfacing with the pure JAVA numerical library Snifflib. This toolbox provides convenience m-files for interoperability with Snifflib from within an active Matlab session running a JAVA virtual machine.
-
6
MATLAB Engine for Java is a library that uses the C API of the MATLAB Engine to: put variables from Java to Matlab, evaluate Matlab commands, get results from Matlab to Java.
-
7
A library of data objects that simulate mathematical neurons, including classic Hodgkin-Huxley neurons and theta neurons.
-
8
VectTens
A library for handling vectors, tensors, and more.
VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner. -
9
This project collect several data mining methods, such as: 1) clustering methods; 2) biclustering methods; 3) FCA methods and etc.
-
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
- Previous
- You're on page 1
- Next
