The Community for Technology Leaders
RSS Icon
Subscribe
Engineering of Computer-Based Systems, IEEE International Conference on the (2006)
Postdam, Germany
Mar. 27, 2006 to Mar. 30, 2006
ISBN: 0-7695-2546-6
TABLE OF CONTENTS
Introduction
Welcome (PDF)
pp. xii
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
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool