yusuke1997/dblp-id-title huggingface dataset:
A Policy-Driven Autonomous System for Evolutive and Adaptive Management of Complex Services and Networks
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment
A formal approach to HW/SW co-design: the INSYDE project
How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
Software Evolution via Reusable Architecture
The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts
A Generic Embedded Robot Platform for Real Time Navigation and Telepresence Abilities
Development Experiences of a Component-Based System
Systems Engineering Transitions into the 21st Century
Variability Mechanism Centric Process Family Architectures
Modeling and Visualization of Classification-Based Control Schemes for Upper Limb Prostheses
FRAME for Achieving Performance Portability within Heterogeneous Environments
Model Predictive Control for Real-Time Simulation of a Network-Controlled Vehicle Drivetrain
Tools for model-based real-time system synthesis
UAV Search: Maximizing Target Acquisition
Using Scenarios to Systematically Support Goal-Directed Elaboration for Information System Requirements
A Way towards Efficiency of SCADA Infrastructure
Metric Evaluation of Embedded Java-Based Proxies on Handheld Devices in Cluster-Based Ad Hoc Routing
Towards a Generic Model for Forecasting Rain Duration Using GITIC Model
Toward a Real-time Event Flow Architecture Style
Energy-Aware Middleware
Tracing the Interdependencies between Architecture and Organization in Goal-Oriented Extensible Models
Model driven development: integrating tools with practices
Case studies in CBS development-manufacturing. An experience report
Evaluation of Quality Attribute Variability in Software Product Families
On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation
Strategies for Developing Distributed Computing Solutions for Industrial Environments
Efficient SOAP Processing in Embedded Systems
Optimum Information Queue Lengths in Semi-Batch Power Management Methods for a Palmtop Multimedia Terminal
Modern Distributed Data Acquisition and Control Systems Based on OPC Techniques
Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational Change
A Service-Oriented Extension of the V-Modell XT
Knowledge Elicitation in Complex Military Environments
VSPEC Constraints Modeling and Evaluation
Semantic Formative E-Assessment for Project Management Professionals
Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training
Model-Based Product-Oriented Certification
I-Navigate: Intelligent, Self-adapting Navigation Maps
Influencing Factors on the Usability of API Classes and Methods
Workshop on Component-Based Software Engineering: Composing Systems from Components
Analysis of DSP-Kernel Software by Implicit Cache Simulation
Medical Cyber-Physical Systems
Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST)
Video Processing Real-Time Algorithm Design Verification on Embedded System for HDTV
Designing GUI Components for UML Use Cases
XML based Security for E-Commerce Applications
Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf Products
Automated Translation of C/C++ Models into a Synchronous Formalism
A Comparative Case Study of Architecting Practices in the Embedded Software Industry
Verification of the Sparrow Processor
Motion Planning System for Minimally Invasive Surgery
Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines
A Hierarchical Use Case Model with Graphical Representation
Fault Management Driven Design with Safety and Security Requirements
Introducing Security Aspects with Model Transformations
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems
Model-integrated parallel application synthesis
Fault Coverage Measurement of a Timed Test Case Generation Approach
An Implementation of Self-Protected Mobile Agents
Engineering of Computer-Based Systems - A Proposed Master Curriculum
An Enhanced Model For Agent Based Requirement Gathering And Pre-System Analysis
Enhancing Architectural Mismatch Detection with Assumptions
Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems
Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages
Developing Instance Model-Based Applications
On the Design of ORBIT
A Look at Typical Difficulties in Practical Software Development from the Developer Perspective - A Field Study and a First Solution Proposal with UPEX
An Integrated Framework for Sensor-Based Embedded Systems
Improving CBS Tool Development with Technological Spaces
Striving for coherency to mitigate the complexity of system design
Achieving Reusability through Interoperability
Requirements Engineering for the Adviser Portal Bank System
Hybrid Current Control Algorithm for Voltage Source Inverters
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Components and Contracts for Embedded Software
Decisions not requirements: decision-centered engineering of computer-based systems
A New Development Framework Based On Efficient Middleware for Real-Time Embedded Heterogeneous Multicomputers
Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software
Heuristic-Based Architecture Generation for Complex Computer System Optimisation
Steps Toward Next Generation Computer Based Systems
An Approach to Instruction Set Compiled Simulator Development Based on a Target Processor C Compiler Back-End Design
Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules
A Concept of System Usability Assessment: System Attentiveness as the Measure of Quality
Generating Driving Directions for Intelligent Vehicles Interfaces
Checking and Transforming Models with AutoFOCUS
A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management
On Adaptive Communication in Asynchronous Real-Time Distributed Systems
Conceptual Patterns
Diagnosis of Embedded Software Using Program Spectra
C3I information flow models: integrating and interfaces
Data Integration for Military Systems Engineering
A Semantic Model for Computer-Based Spatio-temporal Systems
An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems
Model Checking and Evidence Exploration
Deploying Loosely Coupled, Component-based Applications into Distributed Environments
Black-Box Modeling of a Complex Industrial Process
Testing Time Goal-Driven Requirements with Model Checking Techniques
A Practical Semantics for Design Facet Interaction
Distributed File System with Online Multi-master Replicas
Electronic enterprise engineering: an outline of an architecture
Range Queries Based on a Structured Segment Tree in P2P Systems
Computer Based Emulation of Power Electronics Hardware
3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, ECBS-EERC 2013, Budapest, Hungary, 29-30 August 2013
Introducing Tool Support for Managing Architectural Knowledge: An Experience Report
Refinement of Model Specifications in Embedded Systems Design
Software Service Recommendation Using Context
A Model Transformation Approach for Design Pattern Evolutions
Transformation of Relational Databases to Transaction-Time Temporal Databases
Structuring analyses of complex enterprise datasets with adaptive morphogenesis methods
Migration of Mobile Agents in Ad-hoc, Wireless Networks
Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages
Fitting a Model to Noisy Data Using Low-Order Implicit Curves and Surfaces
Model Based Development with the Skeleton Design Method
Engineering of Computer Based-Systems Enhancement Courses - Proposed Course Outlines
An ISA-Retargetable Framework for Embedded Software Analysis
Architecture-Based Design of Computer Based Systems
Smooth Seas - Rough Sailing: The Case of the Lame Ship
The Toolbox of a Successful Software Craftsman
Validation of Reactive Embedded Systems against Temporal Requirements
Establishing Enterprise Networks Through Global Engineering Networking, GEN
ECQL: A Query and Action Language for Model-Based Applications
The Shall-Prototype-Test Development model
Timed Automata Model for Component-Based Real-Time Systems
An intermediate language for system engineering
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Modelling and Reasoning for Confidentiality Requirements in Software Development
Sharing Private Data to Enhance and Enrich Services in Mobile Networks
Software Configuration Management for Product Derivation in Software Product Families
Virtual machine consolidation for cloud data centers using parameter-based adaptive allocation
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Hierarchical Model to Develop Component-Based Systems
ECBS Education and Training Working Group Report
An FPGA-based beam steering transceiver prototype for narrowband IoT communications
An Approach to Parallelization of Sequential C Code
A Goal-Oriented Approach for Safety Requirements Specification
Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks
Data Type Propagation in Simulink Models with Graph Transformation
Change Analysis: A Step towards Meeting the Challenge of Changing Requirements
Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity
Design of a Component-Based Simulation Framework for Component Testing Using SpringDM
Employing issues and commits for in-code sentence based use case identification and remodularization
A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities
Design of a Wireless Sensor Network Based Automatic Light Controller in Theater Arts
Evaluating evolvability of computer based systems architectures-an ontological approach
A Persistent Naming Scheme for Embedded Systems in Automation
The many aspects of an IT-architecture
A Variation Mechanism Based on Adaptive Object Model for Software Product Line of Brazilian Satellite Launcher
Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions
Rapid Prototyping with HW/SW Codesign Tool
Test-Case Creation Framework for Touchscreen-Based Device Testing
Goal-Based Modeling of Dynamically Adaptive System Requirements
Fault tolerant computing in computational field model
faultInjector: A Tool for Injection of Faults in Synchronous WS-BPEL Processes
An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with a Low Rejection Rate
InterMarket - Towards Intelligent Mobile Agent e-Marketplaces
An Approach for Modeling and Designing Software Architecture
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems
A Benchmark Proposal for Route-Planning of Urban Bus Service
Frequency Hopping Synchronization Scheme Based on Real-Time Clock
A Model-Based Design Process for the SegBus Distributed Architecture
Model-Based Cyber Security
The challenges of a model transformation language
Facilitating Software Architecting by Ranking Requirements Based on their Impact on the Architecture Process
Forensic ECBS: The Way Forward
Process Oriented Cooperative Work: An Emergent Framework
Design-Space Exploration through Constraint-Based Model-Transformation
Matching Matchings
An Architecture for Safe and Secure Automation System Devices and Maintenance Process
Performance Evaluation of In-kernel System Calls
Component-Based Architecture for e-Gov Web Systems Development
System Design using ASIPs
Implementation of Computer-Guided Navigation in Surgical Training
Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness
Two-Level Hardware/Software Partitioning Using CoDe-X
Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time Systems
An approach to formal verification of python software transactional memory
Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3
TL: A System-Level Specification Language for System Analysis
An Approach to Parallelization of Legacy Software
High Level Testbench Generation for VHDL Models
VSPEC and Its Integrated Tool Suite
Network Virtual Laboratory for External Devices Programming
Measuring the Effectiveness of Computer Based Systems: An Open System Measurement Example
Adjustable Deliberation of Self-Managing Systems
Improving the System/Software Engineering Interface for Complex System Development
The Architectural Evolution of Telecommunications Network Management Systems
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
Formalizing MapReduce with CSP
Quality in Software Based Systems
QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems
ECBS in Concept Analysis and Organization Transformation
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT
Monitoring of Distributed Processes with Mobile Agents
Particle Rendering Engine in DSP and FPGA
A Task Tree Executor: New Runtime for Parallelized Legacy Software
Analyzing the Complexity of Domain Model Representations
Semi-Automated Safety Analysis for Field Programmable Gate Arrays
20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, ECBS 2013, Scottsdale, AZ, USA, April 22-24, 2013
Self-Managing Systems: A Control Theory Foundation
A Theory for Model-Based Transformation Applied to Computer-Supported Preservation in Digital Archives
Modified Pseudo LRU Replacement Algorithm
Estimation of the domination number in sparse random graphs and applications
Towards an Evolutionary Software Delivery Strategy based on Soft Systems and Risk Analysis
Using core ontologies for extending sensitive business process modeling with the knowledge perspective
Monitoring Distributed Processes with Intelligent Agents
Configuration Management for Designs of Software Systems
Comparison of Simulation and Performance Modeling - A Case Study
Integrated development for computer-based systems
Performance Evaluation and Implementation of IP and Robust Header Compression Schemes for TCP and UDP Traffic in the Wireless Context
Collaborative Embedded Systems Development: Survey of State of the Practice
Establishing performance requirements of computer based systems subject to uncertainty
Managing Model Evolution Using the CCBM Approach
Supporting UML Sequence Diagrams Using a Processor Net Model
UML/OCL and Refinement
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows
A Design Framework for Internet-Based Embedded Distributed Systems
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems
Some Considerations for Reengineering Navy Legacy Systems
Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification
Software Components Adaptive Integration
A platform-centric functional hierarchy
A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts
Application of Model-Integrated Computing in Manufacturing Execution Systems
Fuzzy Clustering in Searching Through Information
Component-Based System Integration via (Meta)Model Composition
Requirements Engineering for Time-to-Market Projects
Improving the Quality of Systems and Domain Analysis through Object Class Congruency
Model Checking of Computer-Based Systems
A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network
Application of Factorial Design to Validation of System Performance
Structuring Software Requirements for Architecture Design
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications
DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I
Visual Composition with SDL Beans
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
Concepts for computer assisted engineering process management
Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems
An Efficient Implementation of the 1D DCT using FPGA Technology
Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components
Sensor Networking
A Contribution to Techniques for Building Dependable Software Systems
Accuracy-Guided Runtime Adaptive Profiling Optimization of Wireless Sensor Networks
The 2-chart Problem - Contemplating System Behavior in the Aggregate
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree
GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems
9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures
Gradient Method with Topology Discovery for Load-Balancing in Active Networks
Multi-Objective Design Space Exploration Methodologies for Platform based SOCs
Validation and testing of sC++ applications
Reactive Distributed System Modeling Supported by Complex Event Processing
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
Non-Functional Refinement of Computer Based Systems Architecture
Digital Logic Simulator
Analysis of Applicability for Synchronization Complexity Metric
IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany
Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation
A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow
Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services Using Geographic Recognition
High-Performance Networked SCADA Architecture for Safety-Critical Systems
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach
Dynamic Systems Development: Towards Continuity, Growth and Evolution
Strategies, Tactics and Methods for Handling Change
Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring
Holistic view of complexity (position statement)
Simulation and Verification Tool for Hierarchical Real-Time Systems
Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications
Modeling the Functionality of Multi-Functional Software Systems
System-level optimization of architectural performance under varying service demands
Region-of-Interest Real-Time Tracking and Projection System
Multiple Scenario Approach for Pre-Silicon Hardware/Software Co-Verification
Safe Integration of New Concerns in a Software Architecture
Adaptive Misbehavior Detection in Wireless Sensors Network Based on Local Community Agreement
System Composition Strategies, A Position Paper for an ECBS Panel - My Position: Analogy Questionable, Intentions Estimable
Assistant-Based Mobile Supply Chain Management
A Profiling Tool for Heterogeneous Multi-core Systems
Performance Considerations in COMPLEMENT
Uniform Execution Environment for Dynamic Reconfiguration
Software Maintenance versus Software Evolution: An Approach to Software Systems Evolution
Guided Architecture-based Design Optimisation of CBSs
Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications
Risk Management for an Open CBS Project
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering
Using models and simulations to visualize NMD C3: lessons learned
Integrating the Components of an Intelligent Telecom Design Tool into an Agent-Based Framework
Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD)
Evaluating Cognitive Information Complexity Measure
Modeling Dependencies in Product Families with COVAMOF
Embedded System Design for Miniature CPT Atomic Clock Circuit
Towards a Model-Driven Architecture for Autonomic Systems
Employing Fuzzy Logic in Feature Diagrams to Model Variability in Software Product-Lines
A Task Tree Executor Architecture Based on Intel Threading Building Blocks
Model Checking the Java Meta-Locking Algorithm
Systems modeling, simulation and analysis using COVERS active objects
Domain Model Translation Using Graph Transformations
Towards Model-Based Testing with Architecture Models
DP-Miner: Design Pattern Discovery Using Matrix
Unified Modeling of Real-Time Control Systems and Their Physical Environments Using UML
Towards Secure Mobile Payment Based on SIP
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC
Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation
Development Life Cycle Management: A Multiproject Experiment
A Hybrid Intrusion Detection and Visualization System
Visualisation of Domain-Specific Modelling Languages Using UML
7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK
Induction in Time-Varying Domains: Motivation, Origins, and Encouragements
Embedded System Architecture for Real-Time Rule-Based Reasoning
Application Capturing and Performance Estimation in an Holistic Design Environment
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
Applying Megamodelling to Model Driven Performance Engineering
Complexity of a Special Deobfuscation Problem
An Application Level Parallelization of Complex Real-Time Software
Model Checking with Graphical Validation Rules
Model-Integrated Program Synthesis Environment
Integration of Design Modeling Techniques: Operations Automation Systems Scenario
6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999
Top-Down Reuse for Multi-level Testing
Asteroid Exploration with Autonomic Systems
Estimating the Cost of XML Serialization of Java Objects
The ABACUS Architectural Approach to Computer-Based System and Enterprise Evolution
Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars
Modeling and Simulation of Stability and Support Operations (SASO)
V3Studio: A Component-Based Architecture Modeling Language
Structured Formalization of Service-Oriented Specifications
Consensus in Networks: Coordination and Control of CyberPhysical Systems, from Unmanned Vehicles to Energy-Efficient Buildings
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
Image Analysis System for Measuring the Thickness of Train Brakes
Using software sensors for migrating from classical simulation systems towards virtual worlds
An On-Line and Off-Line Pipeline-Based Architecture of the System for Gaps and Outlier Detection in Energy Data Stream
Reuse Concepts and a Reuse Support Repository
CHaRy: the C-LAB hard real-time system to support mechatronical design
CASA: Computer Aided Systems Architecting
Filling the gap between CASE tools and PSEEs
An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation
Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification
ADC Position-Sense Interface
A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems