ProVerif

関連するタグ

• Alternative PHP Cache (APC)

  2questions

  Alternative PHP Cache (APC)とは、PHPの実行コードのキャッシュ･最適化を行うための拡張モジュールです。オープンフリーソースで、PHP5.4までAPCをキャッシュすることができます。

  Myタグに追加
• QEMU

  2questions

  QEMU（キューエミュ）は、Fabrice Bellardが中心となって開発しているオープンソースのプロセッサエミュレータ

  Myタグに追加
• g++

  9questions

  g++はGNUコンパイラコレクション(gcc)のC++コンパイラーです。

  Myタグに追加
• iOS 7

  12questions

  iOS7はAppleが開発したモバイルオペレーションシステムiOSの七番目のメジャーバージョンです。

  Myタグに追加
• SSL

  434questions

  SSL(Secure Sockets Layer)とは、暗号化されたプロトコルで、インターネット上での通信セキュリティを提供しています。

  Myタグに追加
• スライダー

  51questions

  GUIのグラフィカルウィジェットのひとつです。インジケーターを動かすことで値を調節可能とします。

  Myタグに追加
• Raspbian

  66questions

  Myタグに追加
• XHTML

  34questions

  XHTMLは、eXtensible HyperText Markup Languageの略であり、SGMLベースであるHTMLとは違って、有効なXMLドキュメントにもなるHTMLアプリケーションです。XMLベースのツールを用いて生成されるHTMLページのためによく使われるマークアップ言語です。

  Myタグに追加
• ColdFusion

  5questions

  ColdFusionはサーバーサイドの迅速なアプリケーションを開発するためのフレームワークであり、CFMLスクリプト言語を用いて動的なwebサイトの開発を可能とします。

  Myタグに追加
• TableView

  99questions

  TableView（UITableView）とは、リスト形式で表示するコントロールで、ほとんどのアプリに使用されています。画面を「行」に分けて管理し、一般的には各行をタップした際に詳細画面に移動します。

  Myタグに追加