11. ECBS 2004: Brno, Czech Republic

Invited Lecture

• Jonah Z. Lavi, Joseph Kudish:
  Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis. 2-12
  

Modeling

• Stephanie M. White:
  A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems. 13-20
  
• Liana Suantak, Faisal Momen, Jerzy W. Rozenblit, David B. Hillis, Michael Barnes, Jerry Schlabach:
  Modeling and Simulation of Stability and Support Operations (SASO). 21-28
  
• Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi:
  Domain Independent Generative Modeling. 29-35
  

SW Architecture

• Jiang Guo, Yuehong Liao:
  The Scheduling Algorithms in Software Architecture Modeling. 36-43
  
• Mourad Oussalah, Adel Smeda, Tahar Khammaci:
  An Explicit Definition of Connectors for Component-Based Software Architecture. 44-51
  
• Ferdinand Wagner, T. Wagner, Peter Wolstenholme:
  Closing the Gap Between Software Modelling and Code. 52-60
  

Performance Analysis and Optimization

• P. Garg, Aseem Gupta, Jerzy W. Rozenblit:
  Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment. 61-68
  
• John Leaney, Mark Denford, Tim O'Neill:
  Enabling Optimisation in the Design of Complex Computer based Systems. 69-74
  
• Tomas Koutny, Jirí Safarík:
  Gradient Method with Topology Discovery for Load-Balancing in Active Networks. 75-85
  

SW Techniques

• Zhao Li, Wee Keong Ng:
  WICCAP: From Semi-structured Data to Structured Data. 86-93
  
• Cai Qingsong, Zimu Li, Jianping Hu:
  Suffix Caching Techniques of Streaming Media Based On Batch Patching. 94-101
  
• Josef Schwarz, Jiri Ocenasek, Jirí Jaros:
  Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems. 102-112
  

Distributed and Mobile Embedded Systems

• Miroslav Svéda:
  A Design Framework for Internet-Based Embedded Distributed Systems. 113-120
  
• Kumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott:
  WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms. 121-127
  
• Jan Janecek:
  Efficient SOAP Processing in Embedded Systems. 128-135
  

Formal Techniques 1

• Kalpesh Zinjuwadia, Perry Alexander:
  DVTG and Test Harnessing using Rosetta Specifications. 136-143
  
• J.-Hendrik Pfeiffer, Wilhelm Rossak, Andreas Speck:
  Applying Model Checking to Workflow Verification. 144-151
  
• Joanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha:
  Validation of Reactive Embedded Systems against Temporal Requirements. 152-160
  

Keynote Lecture

• Jan M. Honzik:
  The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium. 161-167
  

System Architecture

• Mark Denford, John Leaney, Tim O'Neill:
  Non-Functional Refinement of Computer Based Systems Architecture. 168-177
  
• Peter Tabeling:
  Architectural Description with Integrated Data Consistency Models. 178-185
  
• Lukás Sekanina, Vladimír Drábek:
  Theory and Applications of Evolvable Embedded Systems. 186-194
  

Formal Techniques 2

• Ninh-Thuan Truong, Jeanine Souquières:
  An Approach for the Verification of UML Models Using B. 195-202
  
• Ondrej Rysavy, Frantisek Bures:
  Formal Abstract Architecture for Use Case Specifications. 203-210
  
• Frantisek Scuglik:
  Formal Specification of Shared Variables Using CSP. 211-217
  

CBS Tools

• Jonathan Sprinkle:
  Improving CBS Tool Development with Technological Spaces. 218-224
  
• Clemens Reichmann, Markus Kühl, Philipp Graf, Klaus D. Müller-Glaser:
  GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems. 225-232
  
• Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic:
  A Concept of an Integrated Development Environment for Reactive Systems. 233-241
  

Simulation

• Gabriele Luculli:
  Efficient and Effective Simulation of Memory Maps for System-on-Chip. 242-247
  
• Petr Grillinger, Premysl Brada, Stanislav Racek:
  Simulation Approach to Embedded System Programming and Testing. 248-254
  
• J. Sebestyénová:
  Simulation and Verification Tool for Hierarchical Real-Time Systems. 255-262
  

Requirements Engineering

• Li Jiang, Armin Eberlein, Behrouz Homayoun Far:
  A Methodology for Requirements Engineering Process Development. 263-272
  
• Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo:
  IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. 273-281
  
• Anneliese Amschler Andrews, Per Runeson, Robert B. France:
  Requirements Trade-offs During UML Design. 282-292
  

Special Design and Teaching Techniques

• Ryszard Klempous, Jan Nikodem, Tomasz Walkowiak, Jerzy W. Rozenblit:
  Network Virtual Laboratory for External Devices Programming. 293-298
  
• Ban Al-Ani, Norazlin Yusop:
  Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course. 299-306
  
• Ralph-Johan Back, Cristina Cerschi Seceleanu:
  Contracts and Games in Controller Synthesis for Discrete Systems. 307-315
  

Keynote Lecture

• Miroslav Kubat:
  Induction in Time-Varying Domains: Motivation, Origins, and Encouragements. 316-322
  

Model-Based Development 1

• Andrzej Pieczynski, Silva Robak, Anna Walaszek-Babiszewska:
  Features with Fuzzy Probability. 323-328
  
• Petr Hnetynka, Michal Píse:
  Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience. 329-336
  
• Vitus S. W. Lam, Julian A. Padget:
  Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. 337-347
  

Applications

• Richard Ruzicka, Pavel Tupec:
  Formal Approach to Synthesis of a Test Controller. 348-355
  
• Hassan El-Banna, Alaa A. El-Fattah, Waleed Fakhr:
  An Efficient Implementation of the 1D DCT using FPGA Technology. 356-360
  
• Pavel Zemcík, Adam Herout, Ludek Crha, Otto Fucík, Pavel Tupec:
  Particle Rendering Engine in DSP and FPGA. 361-369
  

Model-Based Development 2

• Matthias Riebisch:
  Supporting Evolutionary Development by Feature Models and Traceability Links. 370-377
  
• João M. Fernandes, Johan Lilius:
  Functional and Object-Oriented Views in Embedded Software Modeling. 378-387
  
• Dragos Truscan, João M. Fernandes, Johan Lilius:
  Tool Support for DFD-UML Model-based Transformations. 388-397
  
• Jan Jürjens, Pasha Shabalin:
  A Foundation for Tool-Supported Critical Systems Development with UML. 398-405
  
• Ilian Pashov, Matthias Riebisch:
  Using Feature Modeling for Program Comprehension and Software Architecture Recovery. 406-418
  

Industrial Track 1

• Dusan Kolár, Stanislav Cerny:
  Evolution of Software for Embedded Systems in Processor Expert. 419-422
  
• Otto Fucík, Pavel Zemcík, Pavel Tupec, Ludek Crha, Adam Herout:
  The Networked Photo-Enforcement and Traffic Monitoring System Unicam. 423-428
  
• Jiri Haze, Radimir Vrba:
  ADC Position-Sense Interface. 429-434
  
• Ole Blaurock:
  A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models. 435-442
  

Workshop on Engineering of Autonomic Systems (EASe 2004) 1

• Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
  Verification of Emergent Behaviors in Swarm-based Systems. 443-448
  
• Roy Sterritt, Darren Gunning, Alan Meban, Phillip Henning:
  Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring. 449-455
  
• Jim Nichols, Ted Bapty:
  A Model-Based Self-Adaptive Approach to Image Processing. 456-462
  

Industrial Track 2

• Petr Matena:
  Throughput Computing. 463
  
• Vladimír Oplustil, L. Gáspár, D. Svacina, Stefan Szabó:
  COTS (Commercial Off The Shelf) Distributed System for Critical Application. 464-468
  
• Jirí Kotzian, Vilém Srovnal:
  Design and Optimization of Distributed Control System using UML Model. 469-477
  

Workshop EASe 2

• Shweta Shetty, Sandeep Neema, Ted Bapty:
  Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. 478-483
  
• Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey:
  Asteroid Exploration with Autonomic Systems. 484-489
  
• Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey:
  Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. 490-499
  

Workshop EASe 3

• Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey:
  Towards a Model-Driven Architecture for Autonomic Systems. 500-505
  
• Yves Caseau:
  Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration Infrastructures. 506-512
  
• Roy Sterritt, Saulai Chung:
  Personal Autonomic Computing Self-Healing Tool. 513-522
  

Workshop on Security, Interoperability, and Applications of Mobile Agent Systems (SIAMAS 2004) 1

• Daniel Lübke, Jorge Marx Gómez:
  Applications for Mobile Agents in Peer-to-Peer-Networks. 523-529
  
• Nikos Migas, William J. Buchanan, Kevin A. McArtney:
  Migration of Mobile Agents in Ad-hoc, Wireless Networks. 530-535
  
• Ulrich Pinsdorf:
  A Formal Approach for Interoperability between Mobile Agent Systems and Component Based Architectures. 536-543
  

Workshop SIAMAS 2

• Joan Ametller, Sergi Robles, Jose A. Ortega-Ruiz:
  An Implementation of Self-Protected Mobile Agents. 544-549
  
• Peter Braun, Ingo Müller, Sven Geisenhainer, Volkmar Schau, Wilhelm Rossak:
  A Service-oriented Software Architecture for Mobile Agent Toolkits. 550-556
  

Last update Mon May 20 22:49:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page