Search Results for "javascript form validation"
Sort By:
Showing 2 open source projects for "javascript form validation"
View related business solutions-
Endpoint Protection Software for Businesses | HYPERSECUREThe HYPERSECURE endpoint protection platform is a comprehensive suite of products and services enhanced by European third-party solutions. It ensures our customers’ IT security, regulatory compliance, and digital sovereignty.
-
Award-winning proxy networks, AI-powered web scrapers, and business-ready datasets for download.Bright Data is a leading data collection platform, enabling businesses to collect crucial structured and unstructured data from millions of websites through our proprietary technology. Our proxy networks give you access to sophisticated target sites using precise geo-targeting. You can also use our tools to unblock tough target sites, accomplish SERP-specific data collection tasks, manage and optimize your proxy performance as well as automating all of your data collection needs.
-
1
ClassHidra
ClassHidra Java open-source MVC (ModelViewController).CDI & EJB. REST
ClassHidra, Java-base MVC Support: - CDI ( context dependency injection ) - @SessionScoped, @ApplicationScoped; - EJB (enterprise java bean) map action/form as @Stateless, @Stateful, @Singleton; - Spring (4.*) map action/form as @Component; - RESTful (alfa) Demo - Google AppEngine - https://classhidra4ape-hrd.appspot.com/ GitHub - https://github.com/surban1974/classhidra Maven dependencies - https://github.com/surban1974/classhidra/blob/master/README.md -
2
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ...
- Previous
- You're on page 1
- Next
