Search Results for "java forward"
Sort By:
Showing 2 open source projects for "java forward"
View related business solutions-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
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
EvilTransform
Transport coordinate between earth(WGS-84) and mars in china(GCJ-02)
eviltransform is a compact library for converting geographic coordinates between the global WGS-84 system (used by GPS) and the Chinese GCJ-02 system (used by many Chinese map services such as Google Maps China and AutoNavi). The project implements forward and inverse transformations (WGS→GCJ and GCJ→WGS) as well as a higher-precision inverse method (GCJ→WGS exact) that trades speed for sub-meter accuracy, and it includes a utility for computing geodesic distance in meters. It’s implemented (or ported) across many languages and platforms — you’ll find reference implementations in Go, C/C++/Obj-C, Java, JavaScript, Python, PHP, C#, Haskell, Rust, Swift, MATLAB and more — which makes it easy to drop into server, client, or mobile codebases. ... -
2
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...
- Previous
- You're on page 1
- Next
