スポンサーリンク
日本ソフトウェア科学会 | 論文
- VITC: Safe C Code Compilation Against Attacks
- Evolution of the LMNtal Runtime to a Parallel Model Checker
- リクエスト間隔を考慮したWebサーバのkeep-alive時間の自動調整
- An Effect of Data Size on Performance of Effort Estimation with Missing Data Techniques
- プライバシー保護を考慮した位置情報に基づくコミュニケーション支援システムの構築
- 公衆ネットワークにおける利用者保護機構に関する研究
- A Lisp Interpreter iαpplisp That Runs on Mobile Phones
- バイナリコンポーネントベースソフトウェアの構造の機能規模を伴う視覚化
- A Report on the 28th JSSST Annual Conference
- Safe Implementation of C Pointer Arithmetics by Translation to Java
- 情報制御システム記述言語による列車運行制御モデルの記述と検証
- Networks of Genetic Algorithm Optimization
- 動的型付き言語のためのリージョン推論に基づくメモリ管理
- JMLによるアプリケーションの安全性保証:Maildirフォルダライブラリの一貫性保証
- ILPを用いた分類器の誤分類の判別方法
- マルチエージェントに基づくコミュニケーション支援システムの実現
- Recent Trends of Research and Development for Large-scale Data Storing and Parallel Distributed Processing in Big Data Era
- アプリケーション・フレームワークを対象としたルール検査ツールの提案
- サイバーアシストプロジェクトのソフトウェアコア
- Survey on Security Software Engineering