Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Petr Matena |
Throughput Computing. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
Verification of Emergent Behaviors in Swarm-based Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Li Jiang 0006, Armin Eberlein, Behrouz Homayoun Far |
A Methodology for Requirements Engineering Process Development. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
process development, Requirements engineering, process model |
1 | Joanna Strug, Stanislaw Deniziak, Krzysztof Sapiecha |
Validation of Reactive Embedded Systems against Temporal Requirements. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Koutny, Jirí Safarík |
Gradient Method with Topology Discovery for Load-Balancing in Active Networks. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ninh-Thuan Truong, Jeanine Souquières |
An Approach for the Verification of UML Models Using B. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lübke, Jorge Marx Gómez |
Applications for Mobile Agents in Peer-to-Peer-Networks. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Application examples, Mobile Agents, Anonymity, Peer-to-Peer (P2P) |
1 | Peter Tabeling |
Architectural Description with Integrated Data Consistency Models. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Fundamental Modeling Concepts, Software Architecture, Transaction, Data Consistency, Snapshot, STAGE, FMC |
1 | Ferdinand Wagner, T. Wagner, Peter Wolstenholme |
Closing the Gap Between Software Modelling and Code. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John Leaney, Mark Denford, Tim O'Neill |
Enabling Optimisation in the Design of Complex Computer based Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Josef Schwarz, Jiri Ocenasek, Jirí Jaros |
Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J. Sebestyénová |
Simulation and Verification Tool for Hierarchical Real-Time Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Liana Suantak, Faisal Momen, Jerzy W. Rozenblit, David B. Hillis, Michael Barnes, Jerry Schlabach |
Modeling and Simulation of Stability and Support Operations (SASO). |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Zemcík, Adam Herout, Ludek Crha, Otto Fucík, Pavel Tupec |
Particle Rendering Engine in DSP and FPGA. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ryszard Klempous, Jan Nikodem, Tomasz Walkowiak, Jerzy W. Rozenblit |
Network Virtual Laboratory for External Devices Programming. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joan Ametller, Sergi Robles, Jose A. Ortega-Ruiz |
An Implementation of Self-Protected Mobile Agents. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cai Qingsong, Zimu Li, Jianping Hu |
Suffix Caching Techniques of Streaming Media Based On Batch Patching. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Luculli |
Efficient and Effective Simulation of Memory Maps for System-on-Chip. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Petr Hnetynka, Michal Píse |
Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Haze, Radimir Vrba |
ADC Position-Sense Interface. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic |
A Concept of an Integrated Development Environment for Reactive Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Pinsdorf |
A Formal Approach for Interoperability between Mobile Agent Systems and Component Based Architectures. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey |
Towards a Model-Driven Architecture for Autonomic Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Oussalah 0001, Adel Smeda, Tahar Khammaci |
An Explicit Definition of Connectors for Component-Based Software Architecture. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
component-based systems design, operational mechanisms, software architecture, components, connectors |
1 | Roy Sterritt, Saulai Chung |
Personal Autonomic Computing Self-Healing Tool. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Braun 0002, Ingo Müller 0001, Sven Geisenhainer, Volkmar Schau, Wilhelm R. Rossak |
A Service-oriented Software Architecture for Mobile Agent Toolkits. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kalpesh Zinjuwadia, Perry Alexander |
DVTG and Test Harnessing using Rosetta Specifications. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Rosetta, DVTG, Test Initialization, Test Harnessing, XML, Test Vectors, Test Requirements, Test Scenarios |
1 | Lukás Sekanina, Vladimír Drábek |
Theory and Applications of Evolvable Embedded Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Guo, Yuehong Liao |
The Scheduling Algorithms in Software Architecture Modeling. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sprinkle |
Improving CBS Tool Development with Technological Spaces. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Anneliese Amschler Andrews, Per Runeson, Robert B. France |
Requirements Trade-offs During UML Design. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vitus S. W. Lam, Julian A. Padget |
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Otto Fucík, Pavel Zemcík, Pavel Tupec, Ludek Crha, Adam Herout |
The Networked Photo-Enforcement and Traffic Monitoring System Unicam. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zhao Li, Wee Keong Ng |
WICCAP: From Semi-structured Data to Structured Data. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Honzik |
The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jim Nichols, Ted Bapty |
A Model-Based Self-Adaptive Approach to Image Processing. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shweta Shetty, Sandeep Neema, Ted Bapty |
Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yves Caseau |
Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration Infrastructures. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo |
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
Requirements interactions, Semi-formal approaches, Requirements engineering, IRIS |
1 | Vladimír Oplustil, L. Gáspár, D. Svacina, Stefan Szabó |
COTS (Commercial Off The Shelf) Distributed System for Critical Application. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Kubat |
Induction in Time-Varying Domains: Motivation, Origins, and Encouragements. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Abdoulaye Gamatié, Thierry Gautier |
The SIGNAL Approach to the Design of System Architectures. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner |
Consistency in Model-Based Development. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dong Yang, Shen-sheng Zhang |
Using p - calculus to Formalize UML Activity Diagram. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Guo |
An Approach for Modeling and Designing Software Architecture. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie M. White |
Social Engineering. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank Keller, Siegfried Wendt |
FMC: An Approach Towards Architecture-Centric System Development. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand Wagner, Peter Wolstenholme |
Modeling and Building Reliable, Re-Useable Software. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Zonghua Gu 0001, Kang G. Shin |
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Streitferdt, Matthias Riebisch, Ilka Philippow |
Details of Formalized Relations in Feature Models Using OCL. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
feature constraints, variability, OCL, Feature modeling |
1 | Aditya Agrawal, Ákos Lédeczi |
Multigranular Simulation of Heterogeneous Embedded Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Franck Barbier, Nicolas Belloir |
Component Behavior Prediction and Monitoring through Built-In Test. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Svéda |
Rapid Prototyping of Networked Embedded Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle |
Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Harry L. Brewer |
Systems Engineering Transitions into the 21st Century. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Silva Robak, Andrzej Pieczynski |
Employing Fuzzy Logic in Feature Diagrams to Model Variability in Software Product-Lines. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai |
Domain Model Translation Using Graph Transformations. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Butler, Xin Shen, Lugang Xu |
Issues in Architectural Modeling and Evolution in the Know-It-All Case Study. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra |
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ted Bapty, Sandeep Neema, Steven Nordstrom, Shweta Shetty, Divya Vashishtha, Jason Overdorf, Paul Sheldon |
Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mark Denford, Tim O'Neill, John Leaney |
Architecture-Based Design of Computer Based Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Chethana Kuloor, Armin Eberlein |
Aspect-Oriented Requirements Engineering for Software Product Lines. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, David W. Bustard |
Autonomic Computing - A Means of Achieving Dependability? |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Darren Dalcher |
Dynamic Systems Development: Towards Continuity, Growth and Evolution. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Foundation for Adaptive Fault Tolerance in Software. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank Marschall, Maurice Schoenmakers |
Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Darren Dalcher |
Trust, Systems and Accidents: Designing Complex Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Juiz, Ramón Puigjaner |
Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie M. White, Murray Cantor, Sanford Friedenthal, Cris Kobryn, Byron Purves |
Panel: Extending UML from Software to Systems Engineering. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | |
10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA |
ECBS |
2003 |
DBLP BibTeX RDF |
|
1 | Mohamed Shehata, Armin Eberlein |
Requirements Interaction Detection Using Semi-Formal Methods. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Luculli |
An ISA-Retargetable Framework for Embedded Software Analysis. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cindy Kong, Perry Alexander |
The Rosetta Meta-Model Framework. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yifei Dong, C. R. Ramakrishnan 0001, Scott A. Smolka |
Model Checking and Evidence Exploration. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit |
Formal Specifications of Computer-Based Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Morel, Perry Alexander |
A Slicing Approach for Parallel Component Adaptation. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jianfeng Peng, Jerzy W. Rozenblit, Liana Suantak |
A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Diane Feldman, Josephine Micallef, Dennis Mulcare |
Enterprise-Wide Solutions Architecting Using UML. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dong Yang, Shen-sheng Zhang |
Modeling Workflow Process Models with Statechart. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jae C. Oh, Madhura S. Tamhankar, Daniel Mossé |
Design of Very Lightweight Agents for Reactive Embedded Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Migas, William J. Buchanan, Kevin A. McArtney |
Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
stationary agents, automatic network reconfiguration, ad-hoc networks, wireless networks, mobile agents, routing protocols, topology discovery |
1 | Jiang Guo |
A Systematic Method of Reusing Objects Extracted from Legacy Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
software reuse, software component, software reengineering |
1 | Rikard Land |
Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Software architecture, architectural analysis, SAAM |
1 | Kristian Sandström, Christer Norström |
Managing Complex Temporal Requirements in Real-Time Control Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
assigning priorities, assigning offsets, relative timing constraints, scheduling, Real-time systems, control systems |
1 | Volker Roth 0002, Peter Braun 0002, Wilhelm R. Rossak |
Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schulz 0002, Jerzy W. Rozenblit |
Refinement of Model Specifications in Embedded Systems Design. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
model specification, embedded systems, system modeling, model-based design |
1 | Marc Leeman, Francisco Barat, Vincenzo De Florio, Geert Deconinck |
Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
design, education, e-commerce, embedded, engineering |
1 | Jiang Guo |
Using Category Theory to Model Software Component Dependencies. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
software component dependencies modeling, software component, category theory |
1 | Ulrich Pinsdorf, Volker Roth 0002 |
Mobile Agent Interoperability Patterns and Practice. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
security, Java, interoperability, mobile agents, design patterns |
1 | Carina Andersson, Lena Karlsson, Josef Nedstam, Martin Höst, Bertil I. Nilsson |
Understanding Software Processes through System Dynamics Simulation: A Case Study. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Software quality, Process modelling, System Dynamics, Process simulation |
1 | Ian F. Alexander, Friedemann Kiedaisch |
Towards Recyclable System Requirements. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Reuse, Requirements, Use Cases, Recycling |
1 | Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola |
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Energy automation systems, stochastic evaluation, failure handling, fault-tolerance, dependability, flexibility, Petri net modeling |
1 | Miroslav Svéda, Radimir Vrba |
An Integrated Framework for Sensor-Based Embedded Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
sensor-based appliances, Internet, multicasting, messaging |
1 | Mark Denford, Tim O'Neill, John Leaney |
Architecture-Based Visualisation of Computer Based Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Architecture, Visualisation, Three-Dimensional |
1 | Li Tang, Bernard Pagurek |
A Comparative Evaluation of Mobile Agent Performance for Network Management. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
MA performance, mobile agents, Network management |
1 | Ivica Crnkovic, Stig Larsson 0002, Judith A. Stafford |
Workshop on Component-Based Software Engineering: Composing Systems from Components. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Bruin, Hans van Vliet |
Top-Down Composition of Software Architectures. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Papariello, Gabriele Luculli |
Optimization of a Retargetable Functional Simulator for Embedded Processors. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
retargetable ISS, platform design, system-on-chip, embedded processors, system-level design |
1 | Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit |
Formal Specifications of Computer-Based Systems. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Formal specifications, Workshop, Computer-based systems |