Bogor-PubSub 0.1
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/loupe/files/bogor-pubsub/loupe-0.1/loupe-0.1.zip/download
에 대해 Bogor-PubSub
Bogor-PubSub는 게시-구독 인프라의 정확하고 자동 적인 검증을 가능하게 하는 보거 모델 검사기의 확장 집합입니다.
관련 프로그램
-
Neural network designer 무료
이 프로젝트는 Windows 기반 디자이너 응용 프로그램과 라이브러리(Android를 포함한 여러 플랫폼에서 실행할 수 있음)와 여러 데모 응용 프로그램(MVC3 챗봇 클라이언트 및 Android 응용 프로그램 포함)으로 구성됩니다.데이터베이스 관리 시스템과 비교하는 것이 가장 좋지만 관계형 데이터 대신 신경망의 경우 가장 좋습니다. 따라서 라이브러리는 고급 스트리밍 및 캐싱 알고리즘을 사용하여
-
HRMEdit 무료
폴라 심박수 모니터(예: S720i, S725X, S625X)에서 생성된 HRM 파일을 보고 편집하기 위한 응용 프로그램. 오류를 찾고 샘플을 수동으로 수정하기 위한 GUI를 제공합니다.
-
MSLK 무료
MSLK는 GPL 또는 이와 유사한 오픈 소스 라이센스와 일부 우수한 돼지의 미리 컴파일 된 Win32 바이너리를 제공합니다. 여기에 업데이트 된 유지됩니다.
-
phpMySetiStats 무료
phpMySetiStats는 버클리에서 실행 프로세스 및 개인 통계에 대한 SETI@home 통계를 표시하기위한 도구입니다. 그것은 백에 MySQL을 사용합니다. 크론탭도 추천입니다.
-
MbLoc Locator 무료
소프트웨어 기능:1. 이동 통신 사업자의 기지국과 GPS (이 기능이 휴대 전화에서 활성화된 경우 [설정 및 위치 및 보안 및 위성 GPS]).2. 위치에 대한 자세한 정보를 제공합니다 (근처 모바일 타워 - LAC, CID)의 음역 옵션의 주소.3. Netmonitor - 가장 가까운 기지국, 신호의 수준으로 이동 통신 사업자를 추적할 수 있습니다.4. 휴대 전화에서 직접지도에서 위치를 볼 수 있습
-
SISC 무료
SISC는 알고리즘 언어 체계의 확장 가능한 Java 기반 통역사입니다. SISC는 현대적인 해석 기법을 사용하며, 기존 모든 Java 통역사를 능가합니다(종종 크기 보다 더 많은 것).
-
Druide DB : XML database API for java 무료
DruideDB는 Java 응용 프로그램에 대한 임베디드 데이터베이스(개체/XML 매핑 파일 기반)입니다. DAO(소스 코드)와 지속성 계층(매핑)이 모두 생성됩니다. 이 DB는 모든 것을 문자열로 저장하고 자동 증분 및 여러 PK를 처리합니다.
-
LGTV embedded OS (douglas) 무료
이것은 내 47LG70 LCD HDTV에 소프트웨어에 대한 LG 전자의 GPL 이행 요청에 따라 나에게 제공 된 공식 소스의 사본입니다. 많은 사람들이 LG로 이들을 얻는 데 문제가 있습니다.
-
nppSmartEdit 무료
Nodepad ++ 플러그인은 초기 텍스트를 쉽게 읽을 수 있도록 자동으로 괄호를 배치 할 수 있습니다
-
log4j, fast and flexible java logging 무료
log4j는 Java에서 작성된 디버깅 도구로, 파일, java.io.Writer 또는 syslog 데몬에 문을 기록합니다.