jclaprie-award.dependability.org
IFIP WG10.4 Conferences
http://jclaprie-award.dependability.org/conferences.html
In addition to group meetings/workshops, seven IFIP Working Conferences on Dependable Computing for Critical Applications (DCCA) were organized by WG 10.4 between 1989 and 1999. DCCA-1: Santa Barbara, California, USA, August 1989. DCCA-2: Tucson, Arizona, USA, February 1991. DCCA-3: Palermo, Italy, September 1992. DCCA-4: San Diego, California, USA, January 1994. DCCA-5: Urbana-Champaign, Illinois, USA, September 1995. DCCA-6: Grainau, Gemany (near Garmisch-Partenkirchen), March 1997. This was continued ...
cent.xii.jp
Tanabe Yoshinori / 田辺良則
http://cent.xii.jp/tanabe.yoshinori
Mail: y-tanabe (atmark) nii (dot) ac (dot) jp. 吉岡信和,田辺良則,田原康之,長谷川哲夫,磯部祥尚: モデル検査による設計検証 コンピュータ ソフトウェア (採録決定). 逸見港,田辺良則,今井宜洋,萩谷昌己: 検証済みのコードによるCoqからScalaへのコード抽出 第31回ソフトウェア科学会大会 (2014年9月10日). 坂本一憲, 田辺良則: ハッカソン形式の実践的IT教育の実施報告 第31回ソフトウェア科学会大会 (2014年9月8日). 島田工,前澤悠太,鄭顕志,田辺良則,本位田真一: Scalaの並行プログラム検査における状態空間探索手法 第9回ソフトウェアエンジニアリングシンポジウム (SES2014), 2014. (ショートペーパー). 姜 帆, 田辺 良則, 本位田 真一: Coq を使用したMapReduce アプリケーションの検証とScala コード 電子情報通信学会論文誌, Vol.J97-D, No.3, pp.625-634, 2014. 逸見 港, 田辺 良則, 萩谷 昌己: CoqによるOpenFlowネットワークの形式化...
hotdep.org
HotDep 2005 - Workshop on Hot Topics in Dependable Systems
http://www.hotdep.org/2005
Workshop on Hot Topics in Dependable Systems. First Workshop on Hot Topics. June 30, 2005. Held in conjunction with the. International Conference on Dependable Systems and Networks. The Virtue of Dependent Failures in Multi-Site Systems. Flavio P. Junqueira, Keith Marzullo ( U.C. San Diego. A Root-Cause Localization Model for Large-Scale Systems. Emre Kiciman ( Stanford University. Lakshminarayanan Subramanian ( U.C. Berkeley. The Role of Accountability in Dependable Distributed Systems. Application Comm...
twngan.blogspot.com
Obsession with twngan: February 2005
http://twngan.blogspot.com/2005_02_01_archive.html
I am who I am. You know what you know. Isn't that enough? Support this blog. Buy from Amazon. I know that as professors people receive a lot of school application spams. I've received some although I'm still a student (people just don't bother to check whether you're actually a professor). But sometimes things could get more funny. I've even received an internship application, even though I'm personally looking for one. Can't help but have to post it here. Dear Dr.Tsuen-Wan Johnny Ngan,. Hmm I wouldn't m...
dsn-2016.sciencesconf.org
DSN 2016 : 46th IEEE/IFIP International Conference on Dependable Systems and Networks - Sciencesconf.org
https://dsn-2016.sciencesconf.org/page/previous_dsn_conferences
How to get to ENAC. Rio de Janeiro, Brazil. Atlanta, Georgia, USA. Boston, Massachusetts, USA. Hong Kong, China. Chicago, Illinois, USA. Anchorage, Alaska, USA. Philadelphia, Pennsylvania, USA. San Francisco, California, USA. Bethesda, Maryland, USA. Göteborg, Sweden. New York, New York, USA.