E-Chaser

Brought to you by: malakuti

Last Update: 2015-02-08

Get an email when there's a new version of E-Chaser

E-Chaser is a runtime verification system for distributed Java-RMI applications RMI. In its frontend, E-Chaser provides distribution-transparent specifications, and makes use of Compose* as its backend tool to generate runtime verification modules.

Project Activity

See All Activity >

Follow E-Chaser

E-Chaser Web Site

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Rate This Project

User Reviews

Be the first to post a review of E-Chaser!

Additional Project Details

Registered

2010-03-28

Report inappropriate content

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

mshv-auto-dx-chaser
Autonomous, intelligent DX hunting engine for MSHV ham radio software
Mpaxs
Transparent Local and Remote Parallelization for Java
ibis
The goal of the Ibis project at the Vrije Universiteit Amsterdam is to provide an efficient and flexible Java-based programming environment for Grid computing. Ibis provides several communication models, including a highly efficient RMI implementation.
captcha_break
Identification codes
Smart Rummy Q
SmartRummyQ is a 3D game in network based on RummyQ boardgame, it has been delevoped in Java using Frameworks such as Java Monkey Engine (JME), Remote method Invocation (RMI), and substance as a look and feel.