Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Learn more
Try Google Cloud Risk-Free With $300 in Credit
No hidden charges. No surprise bills. Cancel anytime.
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Software capaz de procesar un texto y codificarlo según la famosa codificación CRC32 de 32 bits. Es una práctica que hemos hecho en MPII. Soy Darío López Padial, estudiante del curso Liberación de Proyectos de Software Libre.
This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path.
We have added a new local action construct, i.e. a self method call.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
OnuriS (Open soURce wImax Simulator) is a simulation platform designed for WiMAX in order to analyze network performances and develop particular allocators for better bandwidth allocation strategies that could greatly improve the overall system.
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
It is a library for parsing standard configuration files which supports extensions over the standard syntax. It also has a very extensive reference substitution system.
Fuzzy numbers and basic fuzzy arithmetics (+, -, *, /, 1/x) implementation written in Java. Should be used as a library, but it also has a GUI which demonstrates its capabilities (using SWT widgets).
A java tool for anytime and interactive sequence mining. Aims at providing users with a way of analyzing her activity traces and extract activity schemes from them.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
The fast, flexible, extensible, and easy to use C++ template class for creating your own customized math expression parser for both built-in and user-defined numerical data types. The parsed tree perform fast and can be used in multi-threaded OpenMP apps
"Java Textual Desktop" project stands for the classical TEXT screen with java implementation inspired with Curcus which used for decades in the history of UNIX (linux).
An implementation of Bruhn et al.'s fast variational optical flow algorithm using the OpenCV image processing library. The code calculates dense flow fields with a user-specified level of precision.
JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.
An ecosystem for model-driven engineering on the JavaEE platform.
The vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework.
For more information visit: http://www.openmde.org.
The Minervan project aims at aiding intelligent software development. It integrates reporting, analysis and data mining to support better decision making.
C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).
This Project Aims To Port Various Open Source Software Onto Stratus Open VOS Architecture. Please Refer The Following URLs For More Information On The Architecture. http://www.stratus.com http://www.openvos.com
NG4J - 'Named Graphs API for Jena' is an extension to the Jena Semantic Web framework for parsing, manipulating and serializing sets of Named Graphs. For details about Named Graphs see http://www.w3.org/2004/03/trix/
This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.
TSL-TGE -- Test Specification Language-Test Generation Engine
Specify independent and dependent factors in an XML file, TSL. Then TGE makes substitutions of generated combinations into a template file. For use in Factorial Test Design.
The Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.
Hier wird die Versionsverwaltung (SVN) für die LaTeX-Mitschrift der Vorlesung "Analysis für Informatiker und Statistiker" gehostet. Diese findet im WS 2009/2010 an der LMU München statt.
The Domain Specific Modeling Language for Multiagent Systems (DSML4MAS) is a platform independent language for specifying multiagent systems. The DSML4MAS Development Environment (DDE) is a model-driven development environment based on DSML4MAS.