Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. E-Chaser

E-Chaser

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara
Download

E-Chaser adalah sistem verifikasi runtime untuk aplikasi Java-RMI terdistribusi RMI. Dalam frontend-nya, E-Chaser memberikan spesifikasi transparan distribusi, dan memanfaatkan Compose* sebagai alat backend-nya untuk menghasilkan modul verifikasi runtime.

Riwayat versi

  • Versi files diposting di 2010-03-28
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2010-03-28

Detil Program

Program Terkait

  • ZoolBit Gratis

    ZoolBit adalah klien bittorrent lintas platform ringan yang dikembangkan menggunakan XUL dan C++. Filosofinya sederhana dan minimalis. Ini bertujuan untuk sekali dan untuk semua menciptakan pengalaman BT terbaik dengan mengam

  • mp3playground Gratis

    program untuk merekam / mencoret mp3 (klip) seperti lastfm, youtube dengan semua program yang diperlukan di dalamnya. Tambahkan program yang ada sebagai lastfm, ubuntu satu, youtube untuk membuat satu database besar Plus mobi

  • SWIDE Ontology Editor Gratis

    ini memungkinkan pakar domain apa pun untuk membuat / memodifikasi ontologi untuk domain ini. Aplikasi ini menyediakan banyak fitur seperti membuat atau mengedit ontology, menjalankan kueri tentang ontology menggunakan SPARQL

  • Kbuti Gratis

    KButi adalah port ButiNET ke Linux. Butinet adalah klien windows yang terhubung ke server dan memberi Anda kemungkinan untuk memainkan Butifarra (permainan kartu tradisional) dengan pemain lain yang terhubung ke server. Ini m

  • bubblegum Gratis

    Daemon kecil yang mengawasi akses file, modifikasi, dan waktu perubahan inode, dan checksum MD5. Ini mendukung pencatatan ke file atau syslogd, menjalankan perintah dengan perluasan informasi file, penyesuaian interval, dan b

  • Dacapo Scripts Gratis

    Proyek ini adalah kumpulan skrip python yang digunakan untuk menganalisis dan memvisualisasikan data dari perhitungan Dacapo, seperti DOS / Projected DOS, menghitung pusat d-band, ringkasan cepat dari perhitungan, dll ...

  • LTC Linux Kernel Performance Project Gratis

    Misi kami adalah membuat Linux lebih baik dengan meningkatkan kinerja kernel Linux, dengan penekanan khusus pada skalabilitas SMP. Kami mengukur, menganalisis, dan meningkatkan kinerja kernel, berfokus pada masalah independen

  • FaxMaster Gratis

    FaxMaster adalah aplikasi web berbasis PHP yang menyediakan frontend untuk HylaFax. Fitur termasuk, mengirim faks tunggal, faks massal melalui impor CSV, pratinjau sebelum mengirim, perkiraan penerima sebelum mengirim, dan ko

  • ZeroChat Gratis

    ZeroConf/Rendezvous-aware peer-to-peer instant messenger dan chat client untuk jaringan lokal.

  • WX-PType Gratis

    WX-PType adalah editor teks Persia sederhana (FARSI) yang ditulis dengan VB yang akan berfungsi di OS Windows. Program ini menggunakan IE sebagai editor teks persia dan juga dapat mengonversi file teks menjadi beberapa Peta K