提交软件
  1. 首页
  2. PC软件
  3. 其他
  4. Bogor-PubSub

Bogor-PubSub 0.1

许可： 免费 ‎文件大小： N/A
‎用户评分： 5.0/5 - ‎1 ‎评分
点击下载

茂物-PubSub 是茂物模型检查器的一组扩展，可对发布-订阅基础结构进行精确、自动验证。

版本历史记录

  • 版本 loupe-0.1 发布于 2009-05-06
    若干修复和更新
  • 版本 loupe-0.1 发布于 2009-05-06

软件信息

相关软件

  • Neural network designer 免费

    该项目包括一个基于窗口的设计器应用程序和一个库（可以在多个平台上运行，包括Android）以及几个演示应用程序（包括一个MVC3聊天机器人客户端和一个Android应用程序）。与数据库管理系统相比，它可能最好，但对于神经网络而不是关系数据。因此，库经过优化，可使用高级流式处理和缓存算法处理任何类型的数据大小。通过设计器，您可以创建不同类型的决策树、随机林、n-gram、模式匹配器、会话代理和各种 AI 相关算法。您可以组合统计方法以及模式

  • HRMEdit 免费

    用于查看和编辑由极心率监测器生成的 HRM 文件的应用程序（例如 S720i、S725X、S625X）。它提供了用于查找错误和手动更正示例的 GUI。

  • MSLK 免费

    MSLK 提供预编译的 Win32 二进制文件，其中具有 GPL 或类似的开源许可证。这里将不断更新。

  • phpMySetiStats 免费

    phpMySetiStats 是一SETI@home运行的进程和个人统计信息的工具。它使用 MySQL 进行回背。也建议使用克朗塔布。

  • MbLoc Locator 免费

    软件功能：1.定位在移动运营商的基站以及 GPS 上（如果此功能在您的手机中启用 [设置->位置和安全->卫星 GPS]）。提供有关位置的详细信息（移动塔附近的音译选项中的地址 - LAC，CID）。Netmonitor - 跟踪最近的基站，移动运营商的信号级别。直接从手机在地图上查看您的位置。显示 GPS 卫星及其参数。安装小部件后，桌面可用（显示当前单元格、网络和信号强度）。能够在地图上查看 Yandex 和 Google 的位置

  • SISC 免费

    SISC 是算法语言方案的可扩展 Java 解释器。 SISC 使用现代口译技术，并且轻松优于所有现有的 Java 解释器（通常超过一个数量级）。

  • Druide DB : XML database API for java 免费

    DruideDB 是 Java 应用程序的嵌入式数据库（基于对象/XML 映射文件）。生成源代码 （DAO） 和持久性层 （映射）。此 DB 将所有内容存储为字符串并处理自动增量和多个 PK。

  • LGTV embedded OS (douglas) 免费

    这是LG电子公司要求我的47LG70液晶高清电视软件在GPL履行请求后提供给我的官方来源的副本。许多在获得这些方面遇到问题，因为 LG. 包括 linux 2.6.10、微窗口和忙盒 1.2.1。

  • nppSmartEdit 免费

    Nodepad® 插件能够自动放置括号，以便于阅读初始文本

  • log4j, fast and flexible java logging 免费

    log4j 是一种调试工具，使用 Java 编写，将语句记录到文件、java.io.Writer 或系统日志守护程序。