The Community for Technology Leaders
RSS Icon
Subscribe
Dependable Systems and Networks Workshops (2011)
Hong Kong, China
June 27, 2011 to June 30, 2011
ISBN: 978-1-4577-0374-4
TABLE OF CONTENTS
Papers
Front cover (PDF)
pp. c1
Michel Cukier , University of Maryland, College Park, USA
pp. x-xii
pp. xiii
Rakesh Kumar , Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA
pp. xiv-xvi
pp. xvii
DCDV program (PDF)
pp. xviii-xix
pp. xxi-xxii
pp. xxiii
WOSD program (PDF)
pp. xxiv-xxv
pp. xxvi
Andras Pataricza , Budapest University of Technology and Economics, Hungary
pp. xxvii-xxviii
pp. xxix
pp. xxx
Author index (PDF)
pp. xxxi-xxxii
Alysson Besani , University of Lisbon, Faculty of Sciences, Lisbon, Portugal
Partha Pal , Raytheon BBN Technologies, Cambridge, USA
pp. 1-2
Murilo Santos de Lima , DCC - Federal University of Bahia (UFBA), Campus de Ondina, Salvador, Bahia, Brasil
Fabiola Greve , DCC - Federal University of Bahia (UFBA), Campus de Ondina, Salvador, Bahia, Brasil
Luciana Arantes , LIP6, University of Paris 6, CNRS, INRIA, 4 - Place Jussieu, 75005, Paris, France
Pierre Sens , LIP6, University of Paris 6, CNRS, INRIA, 4 - Place Jussieu, 75005, Paris, France
pp. 3-8
Saman A. Zonouz , University of Illinois at Urbana-Champaign
Aashish Sharma , University of Illinois at Urbana-Champaign
HariGovind V. Ramasamy , IBM Research
Zbigniew T. Kalbarczyk , University of Illinois at Urbana-Champaign
Birgit Pfitzmann , IBM Research
Kevin McAuliffe , IBM Research
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
Eric Cope , IBM Research
pp. 9-14
Alysson Neves Bessani , LaSIGE, University of Lisbon, Faculty of Sciences - Lisbon, Portugal
pp. 15-18
Gustavo Nascimento , Portugal Telecom - Portugal
Miguel Correia , Instituto Superior Técnico / INESC-ID - Portugal
pp. 19-24
Ajay Nagarajan , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Quyen Nguyen , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Robert Banks , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Arun Sood , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
pp. 25-30
Amir Houmansadr , University of Illinois at Urbana-Champaign
Saman A. Zonouz , University of Illinois at Urbana-Champaign
Robin Berthier , University of Illinois at Urbana-Champaign
pp. 31-32
Patrick Hurley , Air Force Research Laboratory, BBN Technologies, Purdue University
Partha Pal , Air Force Research Laboratory, BBN Technologies, Purdue University
Mathew Tan Creti , Air Force Research Laboratory, BBN Technologies, Purdue University
Amy Fedyk , Air Force Research Laboratory, BBN Technologies, Purdue University
pp. 33-38
Jean Arlat , LAAS-CNRS and Université de Toulouse, 7, Av. du Colonel Roche 31077 Toulouse - France
Cristian Constantinescu , AMD, 2950 E Harmony Rd., Fort Collins, CO 80528 - USA
Johan Karlsson , Dept. of Computer Science & Eng., Chalmers University of Technology, 41296 Göteborg - Sweden
Takashi Nanya , Canon Inc., 3-30-2 Shimomaruko, Ohta-ku, Tokyo 146-8501 - Japan
Alan Wood , Oracle, 501 Island Parkway, Belmont, CA 94002 - USA
pp. 39-40
Alireza Rohani , Testable Design and Test of Integrated Systems Group, CTIT, University of Twente, Enschede, Netherlands
Hans. G. Kerkhoff , Testable Design and Test of Integrated Systems Group, CTIT, University of Twente, Enschede, Netherlands
pp. 41-46
Markus Ferringer , Department of Computer Engineering, Embedded Computing Systems Group, Vienna University of Technology
pp. 47-52
Jiesheng Wei , Department of Electrical and Computer Engineering, The University of British Columbia, Canada
Layali Rashid , Department of Electrical and Computer Engineering, The University of British Columbia, Canada
Karthik Pattabiraman , Department of Electrical and Computer Engineering, The University of British Columbia, Canada
Sathish Gopalakrishnan , Department of Electrical and Computer Engineering, The University of British Columbia, Canada
pp. 53-58
Dimitar Nikolov , Department of Computer Science Linköping University, Sweden
Urban Ingelsson , Department of Computer Science Linköping University, Sweden
Virendra Singh , Supercomputer Education and Research Centre, Indian Institute of Science, India
Erik Larsson , Department of Computer Science Linköping University, Sweden
pp. 59-64
Ching-Hwa Cheng , Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
Ming-Hsuan Wu , Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
Pin-Jui Lai , Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
Chia-Hao Ku , Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
pp. 65-68
Jun Yao , Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Ryoji Watanabe , Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Kazuhiro Yoshimura , Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Takashi Nakada , Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Hajime Shimada , Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Yasuhiko Nakashima , Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
pp. 69-74
Wing-kei Yu , Cornell University, Ithaca, NY 14853, USA
Shantanu Rajwade , Cornell University, Ithaca, NY 14853, USA
Sung-En Wang , Cornell University, Ithaca, NY 14853, USA
Bob Lian , Cornell University, Ithaca, NY 14853, USA
G. Edward Suh , Cornell University, Ithaca, NY 14853, USA
Edwin Kan , Cornell University, Ithaca, NY 14853, USA
pp. 75-80
Ching-Hwa Cheng , Department of Electronic Engineering, Feng-Chia University, Taiwan
Chen-I Chung , Department of Electronic Engineering, Feng-Chia University, Taiwan
pp. 81-84
Xiaoxin Fan , Dept. of ECE, University of Iowa
Sudhakar M Reddy , Dept. of ECE, University of Iowa
Senling Wang , Dept. of CSE, Kyushu Institute of Technology
Seiji Kajihara , Dept. of CSE, Kyushu Institute of Technology
Yasuo Sato , Dept. of CSE, Kyushu Institute of Technology
pp. 85-90
Yohei Nakata , Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Yasuhiro Ito , Central Research Laboratory, Hitachi, Ltd., Kokubunji, 185-8601 Japan
Yasuo Sugure , Central Research Laboratory, Hitachi, Ltd., Kokubunji, 185-8601 Japan
Shigeru Oho , Central Research Laboratory, Hitachi, Ltd., Kokubunji, 185-8601 Japan
Yusuke Takeuchi , Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Shunsuke Okumura , Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Hiroshi Kawaguchi , Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Masahiko Yoshimoto , Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
pp. 91-96
Jogesh K. Muppala , Dept. of Comp. Sci. and Eng., HKUST, Hong Kong, PRC
Matti Hiltunen , AT&T Labs-Research, Florham Park, NJ, USA
Robert Stroud , Center for Softw. Reliability City University, London, UK
Ji Wang , NLPDP, NUDT, Changsha, P.R. China
pp. 97-98
Zhenhai Zhao , Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Tingting Qin , Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Fangliang Xu , Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Rui Cao , Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Xiaoguang Liu , Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Gang Wang , Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
pp. 99-104
Miguel Matos , Universidade do Minho Braga, Portugal
Ricardo Vilaca , Universidade do Minho Braga, Portugal
Jose Pereira , Universidade do Minho Braga, Portugal
Rui Oliveira , Universidade do Minho Braga, Portugal
pp. 105-110
John C. Mace , School of Computing Science & Centre for Cybercrime and Computer Security (CCCS), Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
Aad van Moorsel , School of Computing Science & Centre for Cybercrime and Computer Security (CCCS), Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
Paul Watson , School of Computing Science & Centre for Cybercrime and Computer Security (CCCS), Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
pp. 111-116
Bernhard Kauer , Universidade de Lisboa, Faculdade de Ciências, LaSIGE
Paulo Verissimo , Universidade de Lisboa, Faculdade de Ciências, LaSIGE
Alysson Bessani , Universidade de Lisboa, Faculdade de Ciências, LaSIGE
pp. 117-122
Quyen L. Nguyen , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Arun Sood , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
pp. 123-128
Francisco Rocha , Universidade de Lisboa, Faculdade de Ciências and Carnegie Mellon University - Portugal/USA
Miguel Correia , Instituto Superior Técnico / INESC-ID - Portugal
pp. 129-134
Haibo Mi , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, China
Huaimin Wang , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, China
Gang Yin , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, China
Hua Cai , Computing Platform, Alibaba Cloud Computing Company, Hangzhou, China
Qi Zhou , Computing Platform, Alibaba Cloud Computing Company, Hangzhou, China
Tingtao Sun , Computing Platform, Alibaba Cloud Computing Company, Hangzhou, China
pp. 135-139
Xiang Rao , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Huaimin Wang , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Dianxi Shi , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Zhenbang Chen , National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Hua Cai , Computing Platform, Alibaba Cloud Computing Corporation, Hangzhou, P.R. China
Qi Zhou , Computing Platform, Alibaba Cloud Computing Corporation, Hangzhou, P.R. China
Tingtao Sun , Computing Platform, Alibaba Cloud Computing Corporation, Hangzhou, P.R. China
pp. 140-145
Madalin Mihailescu , Department of Computer Science, University of Toronto
Andres Rodriguez , Department of Computer Engineering, University of Toronto
Cristiana Amza , Department of Computer Engineering, University of Toronto
pp. 146-151
Rahul Ghosh , Duke University, USA
Vijay K. Naik , IBM T. J. Watson Research Center, USA
Kishor S. Trivedi , Duke University, USA
pp. 152-157
Richard E. Harper , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Lorrie Tomek , IBM Systems and Technology Group, Raleigh, NC, USA
Ofer Biran , IBM Haifa Research Center, Haifa, Israel
Erez Hadad , IBM Haifa Research Center, Haifa, Israel
pp. 158-163
Andreas Haeberlen , University of Pennsylvania
Mootaz Elnozahy , IBM Research
pp. 164
David C. van Moolenbroek , Dept. of Computer Science, Vrije Universiteit, Amsterdam, Netherlands
Raja Appuswamy , Dept. of Computer Science, Vrije Universiteit, Amsterdam, Netherlands
Andrew S. Tanenbaum , Dept. of Computer Science, Vrije Universiteit, Amsterdam, Netherlands
pp. 165-170
Ricardo Padilha , University of Lugano, Switzerland
Fernando Pedone , University of Lugano, Switzerland
pp. 171-175
Flavio Junqueira , Yahoo! Research
Benjamin Reed , Yahoo! Research
Maysam Yabandeh , Yahoo! Research
pp. 176-181
Afonso Araujo Neto , CISUC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal
Marco Vieira , CISUC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal
pp. 182-187
Radu Banabic , School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
George Candea , School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
Rachid Guerraoui , School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
pp. 188-193
Jicheng Shi , Parallel Processing Institute, Fudan University
Xiang Song , Parallel Processing Institute, Fudan University
Haibo Chen , Parallel Processing Institute, Fudan University
Binyu Zang , Parallel Processing Institute, Fudan University
pp. 194-199
George Candea , School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
pp. 200-204
Horatiu Jula , School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
Thomas Rensch , School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
George Candea , School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
pp. 205-210
Vitaly Chipounov , School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
George Candea , School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
pp. 211-216
Seongwook Jin , Computer Science, KAIST (Korea Adanced Institute of Science and Technology)
Jaehyuk Huh , Computer Science, KAIST (Korea Adanced Institute of Science and Technology)
pp. 217-222
Christof Fetzer , Dresden University of Technology, Dresden, Germany
Pascal Felber , University of Neuchâtel Neuchâtel, Switzerland
pp. 223-227
Mario Tokoro , Sony CSL, Inc., Tokyo, Japan
Karama Kanoun , LAAS_CNRS Toulouse, France
Kimio Kuramitsu , Yokohama National, University, Japan
Jean-Charles Fabre , LAAS_CNRS Toulouse, France
pp. 228-229
Hirotake Abe , Cybermedia Center, Osaka University, Ibaraki, Osaka 567-0047 Japan
Hirotaka Moriya , Graduate School of Engineering, Toyohashi University of Technology, Toyohashi, Aichi 441-8580 Japan
Kyoji Umemura , Department of Computer Science and Engineering, Toyohashi University of Technology, Toyohashi, Aichi 441-8580 Japan
pp. 230-233
Bo Li , School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Haiying Zhou , School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Decheng Zuo , School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Zhan Zhang , School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Peng Zhou , School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Long Jia , School of computer Science and technology, Harbin Institute of Technology, Harbin, China
pp. 234-239
Hiroyuki Okamura , Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1-4-1 Kagamiyama, Higashi-Hiroshima 739-8527 Japan
Tadashi Dohi , Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1-4-1 Kagamiyama, Higashi-Hiroshima 739-8527 Japan
Shin'ichi Shiraishi , Toyota InfoTecnology Center, Co., Ltd. 6-6-20 Akasaka, Minato-ku, Tokyo 107-0052 Japan
Mutsumi Abe , Toyota InfoTecnology Center, Co., Ltd. 6-6-20 Akasaka, Minato-ku, Tokyo 107-0052 Japan
pp. 240-245
Jean-Charles Fabre , CNRS; LAAS; 7 avenue du colonel Roche, F-31077 Toulouse Cedex 4, France
pp. 246-247
Shinpei Nakata , Dept. of Electrical and Computer Engineering, Yokohama National University, Japan
Midori Sugaya , Yokohama National University, Japan
Kimio Kuramitsu , Yokohama National University, Japan
pp. 248-253
Shuichi Oikawa , Department of Computer Science, University of Tsukuba, Tsukuba, Ibaraki, Japan
pp. 254-256
Miroslaw Malek , Humboldt-Universität zu Berlin, Germany
Felix Salfner , Humboldt-Universität zu Berlin, Germany
Kishor S. Trivedi , Duke University, NC USA
pp. 257-258
Li Yu , Department of Computer Science, Illinois Institute of Technology
Ziming Zheng , Department of Computer Science, Illinois Institute of Technology
Zhiling Lan , Department of Computer Science, Illinois Institute of Technology
Susan Coghlan , Leadership Computing Facility, Argonne National Laboratory
pp. 259-264
Huxing Zhang , School of Software, Shanghai Jiao Tong University, Shanghai, 200240, China
Gang Wu , School of Software, Shanghai Jiao Tong University, Shanghai, 200240, China
Kingsum Chow , Intel Corporation
Zhidong Yu , Intel Corporation
XueZhi Xing , Intel Corporation
pp. 265-270
Richard E. Harper , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Kyung Dong Ryu , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
David Frank , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Lisa Spainhower , IBM Systems and Technology Group, Poughkeepsie, NY, USA
Ravi Shankar , IBM Systems and Technology Group, Poughkeepsie, NY, USA
Tom Weaver , IBM Systems and Technology Group, Poughkeepsie, NY, USA
pp. 271-277
Domenico Cotroneo , Dipartimento di Informatica e Sistemistica, Università di Napoli Federico II, Italy
Vincenzo De Florio , Universiteit Antwerpen/PATS & IBBT, Belgium
pp. 278-279
Edith C.-H. Ngai , Department of Information Technology, Uppsala University, Sweden
Junjie Xiong , Department of Computer Science and Engineering, Chinese University of Hong Kong, China
pp. 280-285
Marcello Cinque , Dipartimento di Informatica e Sistemistica, Universita' degli Studi di Napoli Federico II, Via Claudio 21, 80125 - Naples, Italy
pp. 286-291
Szu-Lin Su , Department of Electronic Engineering, National Cheng Kung University, Tainan, Taiwan
Yi-Wen Su , Department of Electronic Engineering, National Cheng Kung University, Tainan, Taiwan
Chien-Sheng Chen , Department of Information Management, Tainan, University of Technology, Tainan, Taiwan
Wen-Hsiung Liu , Department of Air Transportation Management, Aletheia University, Tainan, Taiwan
pp. 292-296
Yan Huang , Department of Computer Science and Engineering, University of North Texas, Denton, Texas
Cai Chen , Department of Computer Science and Engineering, University of North Texas, Denton, Texas
pp. 297-300
13 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool