Table of Contents

• Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems AnalysisJonah Z. Lavi, Joseph Kudish. 2-12 [doi]
• A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based SystemsStephanie M. White. 13-20 [doi]
• Modeling and Simulation of Stability and Support Operations (SASO)Liana Suantak, Faisal Momen, Jerzy W. Rozenblit, David Hillis, Michael Barnes, Jerry Schlabach. 21-28 [doi]
• Domain Independent Generative ModelingBranislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi. 29-35 [doi]
• The Scheduling Algorithms in Software Architecture ModelingJiang Guo, Yuehong Liao. 36-43 [doi]
• An Explicit Definition of Connectors for Component-Based Software ArchitectureMourad Oussalah, Adel Smeda, Tahar Khammaci. 44-51 [doi]
• Closing the Gap Between Software Modelling and CodeFerdinand Wagner, T. Wagner, Peter Wolstenholme. 52-60 [doi]
• Performance Analysis of Embedded Systems in the Virtual Component Co-Design EnvironmentP. Garg, Aseem Gupta, Jerzy W. Rozenblit. 61-68 [doi]
• Enabling Optimisation in the Design of Complex Computer based SystemsJohn Leaney, Mark Denford, Tim O Neill. 69-74 [doi]
• Gradient Method with Topology Discovery for Load-Balancing in Active NetworksTomas Koutny, Jiri Safarik. 75-85 [doi]
• WICCAP: From Semi-structured Data to Structured DataZhao Li, Wee Keong Ng. 86-93 [doi]
• Suffix Caching Techniques of Streaming Media Based On Batch PatchingCai Qingsong, Li Zimu, Hu Jianping. 94-101 [doi]
• Advanced Bayesian Optimization Algorithms Applied in Decomposition ProblemsJosef Schwarz, Jiri Ocenasek, Jirí Jaros. 102-112 [doi]
• A Design Framework for Internet-Based Embedded Distributed SystemsMiroslav Svéda. 113-120 [doi]
• WASP: A Radio Geolocation System on Highly Resource Constrained Mobile PlatformsKumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott. 121-127 [doi]
• Efficient SOAP Processing in Embedded SystemsJan Janecek. 128-135 [doi]
• DVTG and Test Harnessing using Rosetta SpecificationsKalpesh Zinjuwadia, Perry Alexander. 136-143 [doi]
• Applying Model Checking to Workflow VerificationJ.-Hendrik Pfeiffer, Wilhelm Rossak, Andreas Speck. 144-151 [doi]
• Validation of Reactive Embedded Systems against Temporal RequirementsJoanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha. 152-160 [doi]
• The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third MillenniumJan M. Honzik. 161-167 [doi]
• Non-Functional Refinement of Computer Based Systems ArchitectureMark Denford, John Leaney, Tim O Neill. 168-177 [doi]
• Architectural Description with Integrated Data Consistency ModelsPeter Tabeling. 178-185 [doi]
• Theory and Applications of Evolvable Embedded SystemsLukás Sekanina, Vladimír Drábek. 186-194 [doi]
• An Approach for the Verification of UML Models Using BNinh-Thuan Truong, Jeanine Souquières. 195-202 [doi]
• Formal Abstract Architecture for Use Case SpecificationsOndrej Rysavy, Frantisek Bures. 203-210 [doi]
• Formal Specification of Shared Variables Using CSPFrantisek Scuglik. 211-217 [doi]
• Improving CBS Tool Development with Technological SpacesJonathan Sprinkle. 218-224 [doi]
• GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic SystemsClemens Reichmann, Markus Kühl, Philipp Graf, Klaus D. Müller-Glaser. 225-232 [doi]
• A Concept of an Integrated Development Environment for Reactive SystemsIvan Velikic, Miroslav Popovic, Vladimir Kovacevic. 233-241 [doi]
• Efficient and Effective Simulation of Memory Maps for System-on-ChipGabriele Luculli. 242-247 [doi]
• Simulation Approach to Embedded System Programming and TestingPetr Grillinger, Premek Brada, Stanislav Racek. 248-254 [doi]
• Simulation and Verification Tool for Hierarchical Real-Time SystemsJ. Sebestyénová. 255-262 [doi]
• A Methodology for Requirements Engineering Process DevelopmentLi Jiang, Armin Eberlein, Behrouz Homayoun Far. 263-272 [doi]
• IRIS: A Semi-Formal Approach for Detecting Requirements InteractionsMohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo. 273-281 [doi]
• Requirements Trade-offs During UML DesignAnneliese Amschler Andrews, Per Runeson, Robert B. France. 282-292 [doi]
• Network Virtual Laboratory for External Devices ProgrammingRyszard Klempous, Jan Nikodem, Tomasz Walkowiak, Jerzy W. Rozenblit. 293-298 [doi]
• Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering CourseBan Al-Ani, Norazlin Yusop. 299-306 [doi]
• Contracts and Games in Controller Synthesis for Discrete SystemsRalph-Johan Back, Cristina Cerschi Seceleanu. 307-315 [doi]
• Induction in Time-Varying Domains: Motivation, Origins, and EncouragementsMiroslav Kubat. 316-322 [doi]
• Features with Fuzzy ProbabilityAndrzej Pieczynski, Silva Robak, Anna Walaszek-Babiszewska. 323-328 [doi]
• Hand-written vs. MOF-based Metadata Repositories: The SOFA ExperiencePetr Hnetynka, Michal Píse. 329-336 [doi]
• Symbolic Model Checking of UML Statechart Diagrams with an Integrated ApproachVitus S. W. Lam, Julian A. Padget. 337-347 [doi]
• Formal Approach to Synthesis of a Test ControllerRichard Ruzicka, Pavel Tupec. 348-355 [doi]
• An Efficient Implementation of the 1D DCT using FPGA TechnologyHassan El-Banna, Alaa A. El-Fattah, Waleed Fakhr. 356-360 [doi]
• Particle Rendering Engine in DSP and FPGAPavel Zemcík, Adam Herout, Ludek Crha, Otto Fucík, Pavel Tupec. 361-369 [doi]
• Supporting Evolutionary Development by Feature Models and Traceability LinksMatthias Riebisch. 370-377 [doi]
• Functional and Object-Oriented Views in Embedded Software ModelingJoão M. Fernandes, Johan Lilius. 378-387 [doi]
• Tool Support for DFD-UML Model-based TransformationsDragos Truscan, João M. Fernandes, Johan Lilius. 388-397 [doi]
• A Foundation for Tool-Supported Critical Systems Development with UMLJan Jürjens, Pasha Shabalin. 398-405 [doi]
• Using Feature Modeling for Program Comprehension and Software Architecture RecoveryIlian Pashov, Matthias Riebisch. 406-418 [doi]
• Evolution of Software for Embedded Systems in Processor ExpertDusan Kolár, Stanislav Cerny. 419-422 [doi]
• The Networked Photo-Enforcement and Traffic Monitoring System UnicamOtto Fucík, Pavel Zemcík, Pavel Tupec, Ludek Crha, Adam Herout. 423-428 [doi]
• ADC Position-Sense InterfaceJiri Haze, Radimir Vrba. 429-434 [doi]
• A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-ModelsOle Blaurock. 435-442 [doi]
• Verification of Emergent Behaviors in Swarm-based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. 443-448 [doi]
• Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse MonitoringRoy Sterritt, Darren Gunning, Alan Meban, Phillip Henning. 449-455 [doi]
• A Model-Based Self-Adaptive Approach to Image ProcessingJim Nichols, Ted Bapty. 456-462 [doi]
• Throughput ComputingPetr Matena. 463 [doi]
• COTS (Commercial Off The Shelf) Distributed System for Critical ApplicationVladimír Oplustil, L. Gáspár, D. Svacina, Stefan Szabó. 464-468 [doi]
• Design and Optimization of Distributed Control System using UML ModelJirí Kotzian, Vilém Srovnal. 469-477 [doi]
• Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded SystemsShweta Shetty, Sandeep Neema, Ted Bapty. 478-483 [doi]
• Asteroid Exploration with Autonomic SystemsWalt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey. 484-489 [doi]
• Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACTWalt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey. 490-499 [doi]
• Towards a Model-Driven Architecture for Autonomic SystemsDenis Gracanin, Shawn A. Bohner, Michael G. Hinchey. 500-505 [doi]
• Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration InfrastructuresYves Caseau. 506-512 [doi]
• Personal Autonomic Computing Self-Healing ToolRoy Sterritt, Saulai Chung. 513-522 [doi]
• Applications for Mobile Agents in Peer-to-Peer-NetworksDaniel Lübke, Jorge Marx Gómez. 523-529 [doi]
• Migration of Mobile Agents in Ad-hoc, Wireless NetworksNikos Migas, William J. Buchanan, Kevin A. McArtney. 530-535 [doi]
• A Formal Approach for Interoperability between Mobile Agent Systems and Component Based ArchitecturesUlrich Pinsdorf. 536-543 [doi]
• An Implementation of Self-Protected Mobile AgentsJoan Ametller, Sergi Robles, Jose A. Ortega-Ruiz. 544-549 [doi]
• A Service-oriented Software Architecture for Mobile Agent ToolkitsPeter Braun, Ingo Müller, Sven Geisenhainer, Volkmar Schau, Wilhelm Rossak. 550-556 [doi]