Submit Software
  1. Home
  2. Windows
  3. Other
  4. E-Chaser

E-Chaser

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version files posted on 2010-03-28
    Several fixes and updates
  • Version N/A posted on 2010-03-28

Program Details

Related Programs

  • ZoolBit Free

    ZoolBit is a lightweight cross-platform bittorrent client developed using XUL and C++. Its philosophy is simplistic and minimalistic. It aims to once and for all create the ultimate BT experience by taking the best facets of

  • mp3playground Free

    a program to record / scrobble mp3 (clips) like lastfm, youtube with all needed programs in it. Add existing programs as lastfm, ubuntu one, youtube to create one large database Plus mobile scrobble. Know little programming

  • SWIDE Ontology Editor Free

    it enable any domain's expert to create/modify an ontology for this domain. This application provides a lot of features such as creating or editing ontology, running query on ontology using SPARQL, visualization ... etc.

  • Kbuti Free

    KButi is the ButiNET port to Linux. Butinet is a windows' client that connects to a server and gives you the possibility to play the Butifarra (traditional cards game) with other players connected to the server. It uses the K

  • bubblegum Free

    A small daemon that watches a files access, modification and inode change times and MD5 checksums. It supports logging to a file or syslogd, running a command with file information expansions, interval adjustment, and more.

  • Dacapo Scripts Free

    This project is a collection of python scripts which are used for analyzing and visualizing data from Dacapo calculations, such as DOS/Projected DOS, calculating the center of the d-band, quick summaries of the calculations,

  • LTC Linux Kernel Performance Project Free

    Our mission is to make Linux better by improving Linux kernel performance, with special emphasis on SMP scalability. We measure, analyze, and improve kernel performance, focusing on platform-independent issues, by using open

  • FaxMaster Free

    FaxMaster is a PHP based web application that provides a frontend to HylaFax. Features include,sending a single fax, bulk fax via CSV import, preview before send, recipient estimate before send, and auto document conversion (

  • ZeroChat Free

    ZeroConf/Rendezvous-aware peer-to-peer instant messenger and chat client for local networks.

  • WX-PType Free

    WX-PType is an simple Persian (FARSI) text editor written with VB that will works in Windows OS. This program use IE as an persian text editor and also can convert text files into some usefull Persian (FARSI) CharacterMaps Li