ウェブサイトの追跡ユーティリティ
リアルタイム監視ソフトウェアは、Webサイトの稼働時間またはダウンタイムのパフォーマンスを継続的に監視し、過度に遅くなっているか、不適切に負荷をかけるWebサイトを検出します。 ツールはユーザーにウェブについて知らせます ...
1.25 MB
 | スピンドル使用のためのロジック推論 |
| 今すぐダウンロード | |
スピンドル ランキングとまとめ
広告
- ライセンス:
- Mozilla Public License
- 出版社名:
- Geoffrey Longman
- オペレーティングシステム:
- Windows All
- ファイルサイズ:
- 10 MB
スピンドル タグ
スピンドル 説明
スピンドルアプリケーションは、実行可能な論理理論の結果を効率的な方法で計算するために利用することができる論理推論者であるために作成された。 プログラムは、基本的な解決策論理とモーダル解き可能論理の両方をカバーしています。 それは独立した理論の証明者または組み込み推論エンジンとして使用することができます。 主な特徴： は、事実、厳格な規則、解決済みの規則、人間、優位性など、すべてのルールタイプをサポートします。 モーダルオペレータ変換を使用してモーダルファイルレフェースロジックをサポートします。 否定と矛盾する（相互排他的）リテラルをサポートします。 解決策理論は、XMLとプレーンテキスト（定義された構文を持つ）を使用して表現でき、理論とその拡張はXMLを使用してエクスポートすることもできます。 標準的な解決策論理理論を編集するための視覚理論エディタが開発されています。
スピンドル 関連ソフトウェア
インテリマッパー
IntelliMapperは、Google、Yahoo！、MSNに送信できる完璧なXMLサイトマップを迅速かつ簡単に作成するのが簡単になるインテリジェントなサイトマッピングソフトウェアです。 IntelliMapperはSIを使用しています ...
2372K
ジョブサイトビルダー
ジョブサイトBuilder 2.5は、採用と求職に従事している組織のために作成されました。 このサイトでは、雇用主にとって求職者のために簡単な登録が可能です。 ...
22.4 KB
watchdog4.biz無料のウェブサイトの監視
無料のWebサイトの可用性監視とパフォーマンス監視ツール。 アプリケーションには、次の機能が含まれています。複数のURLチェック、HTTP、認証確認付きHTTP。 アップタイム統計和主 ...
5809K
eMuleダウンロードオプティマイザ
Emule Download Optimizerは、広く知られているP2PアプリケーションEmuleの1つに完全に無料のアドオンです。 Emule Download Optimizerの使用を開始したら、SPEをダウンロードするのに大きな増加を経験します ...
3068K