Bogor-PubSub 0.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/loupe/files/bogor-pubsub/loupe-0.1/loupe-0.1.zip/download
关于 Bogor-PubSub
茂物-PubSub 是茂物模型检查器的一组扩展,可对发布-订阅基础结构进行精确、自动验证。
相关软件
-
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 或系统日志守护程序。