Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
Build Securely on AWS with Proven Frameworks
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.
JAMT provides an easy way to create UML diagramms. In the first version it is possible to model class diagramms. State and activity diagramms are planned. Future extensions of JAMT could be code generation and design patterns assistance.
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
SHIFT (State-HIerarchy Functional Testing) provides a new way to test your web apps. It extends other web testing frameworks to allow significantly better testing with less effort, and opens up new ways to test which have never been possible before.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Frijole is a distributed, Java-based application architecture built around the Frijoje web browser. Rather than having a defined state, Frijole's rich, interactive user interface renders itself according to embedded Beanshell scripts in HTML pages.
Genuine is a client framework for Java Swing applications. It provides basic infrastructure to build applications based on visual dialogs and services. In its current state, it is mainly a proof of concept that can be used as basis for enhancements.
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
...This hides the (dirty) details of non-blocking IO from developers, allowing them to EASILY build a highly scalable application, which can handle over 10000 incoming and outgoing sockets using only one thread.
The jCookie Library is a client-side state-management library in Java. The goal is to put browser-like cookie-handling in the hands of applications developers. Ease-of-use and cohesion with the native java.net API are its USPs.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.
NunniFSMGen generates a FSM (Finite State Machine) in Java, C or C++ starting from a transition table. NunniFSMGen cleanly separates logic from implementation by using a modified version of the state pattern, easing the development process!
JTail is a simply multiplatform application, which show text files content especially LOG FILES. This application is a thread, which non-stop reads the file content and print what lines was added to the end file.
This is java State Machine Framework for all OS platforms. The framework is for modeling any event processing system as a state machine. This aims to separate the state transition and event handling logic from the business logic and let developers conce
It's new technology for Development Personal Creation/Customization Services ,
based on XML standard and DAFSM (Finite State Machine Theory) , using multiple call control protocols.
When developing EJB,it's very bothering to set up the enviroment to debug EJB. EmbededEJB's goal is to provide an embeded EJB container to let you test and debug EJB not from another process. It's in the same thread of the caller.
Yet another logger. Take a close look at it: It is very easy to use, very unified and extendable. You may attach your favourite set of loggers to this logger, and you still use only one API! This Java logger is used throughout the COMJAT.NET systems.
GeMMS (Gene's Mac Mud Server) is an out of the box text adventure world for the Mac. It is written with state of the art Java Cocoa APIs used in the latest Mac OS X programs. Our goal is to have you hosting a fantasy world via telnet in minutes.
Remotor is a Java web service system. It is a very easy to use and a very fast remote procedure call engine (alike RMI | RPC). No need for Stubs, Skeletons and Naming-Services. Remotor is one of many building blocks for the COMJAT.NET framework suite.
C/C++/Java source code library and Build Environment. Contains code for threading, inter-thread communication (ITC), sockets, embedded database, parsing, fileio, etc. The majority of the library is designed for embedded development.
Chiron is a backend framework to generate applications. It generates persistent code from xmi files, based on prevayler.
The generated code can use a simple but powerfull collection search framework and a finite state machine based controller.
Backpedal is a JDBC driver that can be messaged to roll back all SQL statements issued through it. It is intended to be used in testing scenarios, to allow you return the database to the state it was in before your test case started.
Omega is a light-weight framework for the implementation of hierarchical state machines in Java. The core consists of 2 classes and 3 interfaces, making it simple to implement reliable and deterministic behavior. Small 7K jar for constrained environments