The Community for Technology Leaders
RSS Icon
Subscribe
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (2006)
Potsdam
March 27, 2006 to March 30, 2006
ISBN: 0-7695-2546-6
TABLE OF CONTENTS
Introduction
pp. xiii
pp. xiii
Introduction
Committees (PDF)
pp. xiv
Adaptive Computing
D?Arcy Walsh , Carleton University
Francis Bordeleau , Zeligsoft and Carleton University
Bran Selic , Carleton University
pp. 3-12
Architectures
Steffen Kern , Friedrich Schiller University Jena, Germany
Torsten Dettborn , Friedrich Schiller University Jena, Germany
Ronny Eckhaus , Friedrich Schiller University Jena, Germany
Yang Ji , Friedrich Schiller University Jena, Germany
Christian Erfurth , Friedrich Schiller University Jena, Germany
Wilhelm Rossak , Friedrich Schiller University Jena, Germany
Peter Braun , the agent factory GmbH, Germany
pp. 23-31
Jennifer Perez , Information Systems and Computation, UPV
Elena Navarro , Computer Science,UCLM
Patricio Letelier , Information Systems and Computation, UPV
Isidro Ramos , Information Systems and Computation, UPV
pp. 32-41
Peter Tabeling , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
Rasmus Hofmann , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 42-51
Olivier Barais , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Anne-Francoise Le Meur , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Laurence Duchien , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Julia Lawall , DIKU, University of Copenhagen, Denamrk
pp. 52-64
Design Evolution
Cameron Maxwell , University of Technology, Sydney
Tim O?Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
pp. 65-72
Sven Wohlfarth , Technical University Ilmenau, Ilmenau, Germany
Matthias Riebisch , Technical University Ilmenau, Ilmenau, Germany
pp. 73-79
Jing Dong , University of Texas at Dallas
Sheng Yang , University of Texas at Dallas
Kang Zhang , University of Texas at Dallas
pp. 80-92
Distributed Systems Design
Abbas Heydarnoori , University of Waterloo
Farhad Mavaddat , University of Waterloo
Farhad Arbab , Centrum voor Wiskunde en Informatica, Netherlands
pp. 93-102
Lizhi Yang , University of Arizona
Chuan Feng , University of Arizona
Jerzy W. Rozenblit , University of Arizona
Haiyan Qiao , University of Arizona
pp. 103-111
Peter Volgyesi , Vanderbilt University, Nashville, TN, USA
Andras Nadas , Vanderbilt University, Nashville, TN, USA
Akos Ledeczi , Vanderbilt University, Nashville, TN, USA
pp. 112-122
Embedded and Real-Time Software Systems
Jarkko Hyysalo , University of Oulu
Paivi Parviainen , VTT Technical Research Centre of Finland
Maarit Tihinen , VTT Technical Research Centre of Finland
pp. 130-138
Kaj Hanninen , Arcticus Systems Sweden
Jukka Maki-Turja , Malardalen Research and Technology Centre (MRTC) Sweden
Mikael Nolin , Malardalen Research and Technology Centre (MRTC) Sweden
pp. 139-150
Formal Methods
Tony Spiteri Staines , MBCS, University of Malta
pp. 151-158
Ondrej Rysavy , Brno University of Technology, Czech Republic
Frantisek Scuglik , Brno University of Technology, Czech Republic
Miroslav Sveda , Brno University of Technology, Czech Republic
pp. 159-163
Ethan K. Jackson , Vanderbilt University, Nashville, TN
Janos Sztipanovits , Vanderbilt University, Nashville, TN
pp. 164-176
Model-Based System Design
Tivadar Szemethy , Vanderbilt University, Nashville, TN, USA
Gabor Karsai , Vanderbilt University, Nashville, TN, USA
Daniel Balasubramanian , Vanderbilt University, Nashville, TN, USA
pp. 177-186
Prabhat Ranjan , Motilal Nehru National Institute of Technology, Uttar Pradesh, INDIA
A. K. Misra , Motilal Nehru National Institute of Technology, Uttar Pradesh, INDIA
pp. 187-195
Stoyan Paunov , Vanderbilt University, Nashville, TN
James Hill , Vanderbilt University, Nashville, TN
Douglas Schmidt , Vanderbilt University, Nashville, TN
Steven D. Baker , Raytheon Company Portsmouth, RI
John M. Slaby , Raytheon Company Portsmouth, RI
pp. 196-208
Modeling and Analysis of Complex Systems I
Tae-Hwan Kim , Daegu University
Seung-Il Lee , Daegu University
Yong-Doo Lee , Daegu University
Won-Kee Hong , Daegu University
pp. 209-218
Ibrahim Armac , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Michael Kirchhof , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Liviana Manolescu , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
pp. 219-228
Frank Keenan , Dundalk Institute of Technology, Ireland
David W. Bustard , University of Ulster, Coleraine, BT52, UK
pp. 229-240
Modeling and Analysis of Complex Systems II
Conceptual Patterns (Abstract)
Bernhard Grone , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 241-246
David Livolsi , University of Technology, Sydney
Tim O?Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
Mark Denford , University of Technology, Sydney
Kyle Dunsire , Avolution Pty Ltd.
pp. 247-258
Modeling and Analysis of Complex Systems III
Jens B?k Jorgensen , University of Aarhus, Aarhus N, Denmark
Kristian Bisgaard Lassen , University of Aarhus, Aarhus N, Denmark
pp. 259-268
Joachim Bayer , Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany
Dirk Muthig , Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany
pp. 269-278
Mohammed Hussein , Queens University, Kingston
Mohammad Zulkernine , Queens University, Kingston
pp. 279-288
Product-Family Models and Architectures
Arnd Schnieders , University Potsdam, Germany
pp. 289-298
Marco Sinnema , University of Groningen, Netherlands
Sybren Deelstra , University of Groningen, Netherlands
Jos Nijhuis , University of Groningen, Netherlands
Jan Bosch , Nokia Research Center, Finland
pp. 299-307
Periklis Sochos , Technical University of Ilmenau, Germany
Matthias Riebisch , Technical University of Ilmenau, Germany
Ilka Philippow , Technical University of Ilmenau, Germany
pp. 308-318
Reliability, Safety, Dependability, Security
Elena Navarro , Computer Science Department, UCLM
Pedro Sanchez , Information Technology and Communication, UPCT
Patricio Letelier , Department of Information Systems and Computation, UPV
Juan A. Pastor , Information Technology and Communication, UPCT
Isidro Ramos , Department of Information Systems and Computation, UPV
pp. 319-326
Fang Liu , National University of Defense Technology, Changsha, China
Bo Guo , National University of Defense Technology, Changsha, China
Jianyin Zhao , National University of Defense Technology, Changsha, China
pp. 327-333
Piotr Tomaszewski , Blekinge Institute of Technology
Jim Hakansson , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
Hakan Grahn , Blekinge Institute of Technology
pp. 334-343
Zhongbao Zhou , National University of Defense Technology, Changsha, China
Guang Jin , National University of Defense Technology, Changsha, China
Doudou Dong , National University of Defense Technology, Changsha, China
Jinglun Zhou , National University of Defense Technology, Changsha, China
pp. 344-352
System on a Chip
Claudio Talarico , Eastern Washington University
Esteban Rodriguez-Marek , Eastern Washington University
Min-sung Koh , Eastern Washington University
pp. 353-359
Hassan Ghasemzadeh , Islamic Azad University
Sepideh Sepideh Mazrouee , Islamic Azad University
Mohammad Reza Kakoee , Islamic Azad University
pp. 368-376
System Assessment, Testing, and Metrics
Miroslav Popovic , University of Novi Sad, Serbia
Ilija Basicevic , University of Novi Sad, Serbia
Ivan Velikic , University of Novi Sad, Serbia
Jelena Tatic , University of Novi Sad, Serbia
pp. 377-386
Jiang Guo , California State University Los Angeles
Yuehong Liao , California State University Los Angeles
Behzad Parviz , California State University Los Angeles
pp. 387-396
Matteo Marchesotti , University of Genoa, Via Opera Pia 13, 16145, Genoa, ITALY
Roberto Podesta , University of Genoa, Via Opera Pia 13, 16145, Genoa, ITALY
Mauro Migliardi , DEI - University of Padua, Via Gradenigo 6/B, 35131, Padua, ITALY
pp. 397-408
Verification and Validation
Luay Alawneh , Concordia University, Montreal, Canada
Mourad Debbabi , Concordia University, Montreal, Canada
Yosr Jarraya , Concordia University, Montreal, Canada
Andrei Soeanu , Concordia University, Montreal, Canada
Fawzi Hassayne , Defence Research and Development Canada, Ottawa, Ontario, Canada
pp. 409-418
Nikola Bogunovi , University of Zagreb, Croatia
Edgar Pek , University of Zagreb, Croatia
pp. 419-425
Hamoudi Kalla , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
Jean-Pierre Talpin , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
David Berner , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
Loic Besnard , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
pp. 426-436
Doctoral Symposium Papers
Klaus Meffert , Technical University Ilmenau
pp. 437-445
Marcel Seelig , University of Potsdam, Germany
pp. 445-452
Chengwan He , Wuhan Institute of Chemical Technology, China
Zhijie Nie , Wuhan Institute of Chemical Technology, China
Bifeng Li , Wuhan Institute of Chemical Technology, China
Lianlian Cao , Wuhan Institute of Chemical Technology, China
Keqing He , State key laboratory of Software Engineering, Wuhan University, China
pp. 453-459
Adeniyi Onabajo , University of Victoria, Canada
Jens H. Jahnke , University of Victoria, Canada
pp. 460-467
Ivonne Erfurth , Friedrich-Schiller-University Jena, Germany
pp. 468-476
Poster Session Papers
Richard A. Pyne , University Of Technology,Jamaica
Ezra K. Mugisa , University of the West Indies, Mona,Jamaica
pp. 479-480
Jiang Guo , California State University Los Angeles
Yuehong Liao , California State University Los Angeles
Behzad Parvi , California State University Los Angeles
pp. 481-482
Haroon Saleem Khan , National University of Computers and Emerging Sciences, Islamabad, Pakistan
pp. 483-484
Ying-Wen Bai , Fu Jen Catholic University,Taipei, Taiwan
Yu-Nien Yang , Fu Jen Catholic University,Taipei, Taiwan
pp. 485-486
Yucong Duan , Chinese Academy of Sciences, China
Yuqing Gu , Chinese Academy of Sciences, China
Xiaolan Fu , Chinese Academy of Sciences, China
S.C. Cheung , Hong Kong University of Science & Technology, China
Jing Wang , Towson University, USA
Qingwu Hu , NEC Telecom System, China
pp. 487-488
Xinyou Zhao , Guilin University of Electronic Technology Guilin, China
Mitsuji Matsumoto , GITS Waseda University Tokyo, Japan
Yan Zhang , Jumonji University
pp. 489-490
Steffen Kollmann , University of Oldenburg
Karsten Albers , University of Oldenburg
Frank Bodmann , University of Oldenburg
Frank Slomka , University of Oldenburg
pp. 491-492
Ki-Hyeon Kim , Daegu University, Korea
Bong-Soo Ha , Daegu University, Korea
Yong-Doo Lee , Daegu University, Korea
Won-Kee Hong , Daegu University, Korea
pp. 493-494
Jung-sick Byun , Daegu University, South Korea
Woo-Suk Shim , Daegu University, South Korea
Won-Kee Hong , Daegu University, South Korea
pp. 495-496
Tao Huang , Central China Normal University, Wuhan, hubei province, P.R.China
Zongkai Yang , Central China Normal University, Wuhan, hubei province, P.R.China
Jixin Wang , Central China Normal University, Wuhan, hubei province, P.R.China
Qingtang Liu , Central China Normal University, Wuhan, hubei province, P.R.China
Xia Li , Central China Normal University, Wuhan, hubei province, P.R.China
Gang Zhao , Central China Normal University, Wuhan, hubei province, P.R.China
pp. 499-500
Matthias Werner , Berlin University of Technology
Gero Muhl , Berlin University of Technology
pp. 501-502
Dharmender Singh Kushwaha , Moti Lal Nehru National Institute Of Technology, Allahabad, India
A.K. Misra , Moti Lal Nehru National Institute Of Technology, Allahabad, India
pp. 503-504
J. Peng , University of Arizona
C. Feng , University of Arizona
J.W. Rozenblit , University of Arizona
pp. 505-506
Author Index
Author Index (PDF)
pp. 509
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool