Get Avast Free Antivirus | Your top-rated shield against malware and online scams
Boost your PC's defense against cyberthreats and web-based scams.
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
An implementation of a finite state transition machine. This implementation does not tie itself to the way the state is kept. Extremely flexible. Extremely amenable for being scripted. Has OGNL support.
The TM Simulator is a Java/JavaFX Application which provides a graphical user interface to configure and simulate Turing Machines. This is a student project from the technical university of Vienna, to support presentations of Turing Machines.
This program accompanies the paper "Counting large distances in convex polygons" by Filip Moric and David Pritchard. The program, written in Java, searches a finite set of distance configurations in order to deduce theorems about convex polygons.
An extension of GWTCanvas widget to allow leveraging all of the features of the HTML 5 canvas element, like drawing text and shadows. Depends on browser support for the canvas element. See project home page link for usage details.
Now available in even more cloud regions across AWS, Azure, and Google Cloud.
MongoDB 8.0 brings enhanced performance and flexibility to Atlas—with expanded availability across 125+ regions globally. Build modern apps anywhere your users are, with the power of a modern database behind you.
A small XML library that uses SAX to parse incoming data and build Java POJO's based on the content. Configuration consists of a single call to map each top-level XML element to a Java POJO. Also, supports basic POJO -> XML serialization.
GUI application that can be used for generate graph representation for any given DFA or NFA table and check weather strings are accepted or rejected by finite automata.
The Instrument Element is a Grid/Cloud component that provides the computational/data Grid with an abstraction of real instruments, and Users with a more interactive interface to control them. More information: http://instrumentelem.sourceforge.net/
Core library for complex software project development. Features: semaphores, services, finite state machine, framework, utilities related to the middleware architecture and implementation.
A graphical viewer and editor that allows browsing and creating of "infopages". These infopages are xml pages structured according to a specification created specifcally for the IDTV platform
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving 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.
superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
This is the tool for generating C++ and Javafinite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event
CPViz is an open-source visualization toolkit for finite domain constraint programming. It provides visualization for search trees, variables and global constraints through a post-mortem analysis of trace logs.
Simple implementation of finite state machine concepts.
The project contain ease-to-use library and modeling graphical tool.
Project define simple identical API for Finite State Machines for both language bindings (C# and Java).
LETHAL is a Java library for working with finite tree and hedge automata. It provides a great variety of operations and property evaluations. Additionally the library comes with a scriptable graphical user interface to get started quickly.
JEpistemicLogicVis is an application for visualization of evaluations of multi-modal-logical formulas for knowledge representation over finite Kripke-models, whereat the accessibility for each agent is an equivalent-relation.
Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
This project has been moved to the Tungsten project, which contains a number of Tungsten technologies together. Please visit at http://sourceforge.net/projects/tungsten. This project will not be further maintained.
A metadata schema registry server in Perl/C (based on RDF and Sparql/Redland), alongside a GUI client in Java/SWT with Jena for searching, browsing and creating application profiles, schemas and element sets describing resources in Dublin Core and LOM.
Speech based User Interface Components Library for Java is a project to create Java controls and applications that can be used not only by literate people but also by non-literates. Speech and visual element with minimal text is used to create components
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.
MultiProperties or PropertiesDocument is the enhancement Properties class in Java. It extends the Properties file with element. The element is called as MultiProperty or PropertiesElement.