Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ECBS 2004: Brno, Czech Republic
- 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. IEEE Computer Society 2004, ISBN 0-7695-2125-8
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 R. 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 Rysavý, 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 A. 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 A. Rouff, Michael G. Hinchey:
Asteroid Exploration with Autonomic Systems. 484-489 - Walt Truszkowski, James L. Rash, Christopher A. 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 R. Rossak:
A Service-oriented Software Architecture for Mobile Agent Toolkits. 550-556
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
