yusuke1997/dblp-id-title huggingface dataset:
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems
Systems theories and architectures for ECBS
An improved system engineering model
Creating Object Models - Design and Architecture
Towards a Framework for Agile Management Based on Chaos and Complex System Theories
Model-integrated toolset for fault detection, isolation and recovery (FDIR)
Interceptor Based Constraint Violation Detection
Foundations for the ECBS process
A Modelling Proposal for Aspect-Oriented Software Architectures
Target Tracking and Surrounding with Swarm Robots
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach
Managing Complex Temporal Requirements in Real-Time Control Systems
Model-Based Empirical Performance Evaluation Based on Relational Traces
The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation
Understanding IT Organizations Using Viewpoints
Guiding Architectural Restructuring through Architectural Styles
Evaluating Hardware Design Principles for the Development of Computer Based Systems
The Use of Architecture Description Languages to Describe a Distributed Measurement System
Object-Oriented Design Methodology based on Functional Layers for Distributed Communications Systems
A Prototypical Platform for Architecture Oriented Development
An Open-Source Pivot Language for Proprietary Tool-Chaining
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction
Hands-Free VoIP Terminal with Gain Control Based on Neural Network
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment
The Maturation of Agile Software Development Principles and Practice: Observations on Successive Industrial Studies in 2010 and 2012
Knowledge Preserving Development: A Case Study
System Level Mutation Analysis Applied to a State-Based Language
EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution
Integrating Security Modeling into Embedded System Design
Understanding Software Processes through System Dynamics Simulation: A Case Study
A Measurement-Based Analysis of the Responsiveness of the Linux Kernel
Evolving Critical Systems: A Research Agenda for Computer-Based Systems
13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany
Embedded System Modeling Based on Resource-Oriented Model
A Concept of an Integrated Development Environment for Reactive Systems
Distinguishing between Automatic and Manual Aspects of Model Driven Development
Transformation of UML Models for Service-Oriented Software Architectures
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture
System Level Performance Assessment of SOC Processors with SystemC
Processor Functional Test Generation - Some Results with Using of Genetic Algorithms
Strategies for Systems Analysis: Groundwork for Process Tailoring
Partitioning DSP Applications on a Multi-core Architecture Based on Load Balancing
Dimensionality Reduction for the Control of Powered Upper Limb Prostheses
Modeling the Information-Processing Aspect of Organizational Functions
Modeling and Verifying the Ariadne Protocol Using CSP
SMT-Based Bounded Model Checking of C++ Programs
A Service-oriented Software Architecture for Mobile Agent Toolkits
HighRobot: a high-performance universal robot control on parallel workstations
Tool Support for DFD-UML Model-based Transformations
Formal Approach to Synthesis of a Test Controller
Synthesizable SystemVerilog Assertions as a Methodology for SoC
Component-Based Control System
Features with Fuzzy Probability
Comparison of Generally Applicable Mechanisms for Preventing Embedded Event-Driven Real-Time Systems from Interrupt Overloads
Visual Tracking Based on 3D Probabilistic Reconstruction
Performance Concerns of Polymorphism in Modelling Domain Variability in Real-Time Systems
15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland
Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study
Who Does What in a Multiagent System for Emergent Process Management
Option Based Evaluation: Security Evaluation of IT Products Based on Options Theory
Decomposition of inheritance hierarchy DAGs for object-oriented software metrics
Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation
A Planning Method to Obtain Good Quality Paths for Autonomous Cars
Educating Architects in Industry - The SAP Architecture Curriculum
1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA
Effects of Computation Speed on the Stability of a Self-Controlling Process
Selection and Prioritization of Test Cases by Combining White-Box and Black-Box Testing Methods
System Observation of Blocking, Non-blocking, and Cascading Events for Runtime Monitoring of Real-Time Systems
Raising the Abstraction of Domain-Specific Model Translator Development
Decision Support Using Deterministic Equivalents of Probabilistic Game Trees
Towards an Architectural Framework for Agile Software Development
My Home is My Bazaar - A Taxonomy and Classification of Current Wireless Home Network Protocols
Model-Based Data Processing with Transient Model Extensions
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS 2017, Larnaca, Cyprus, August 31 - September 01, 2017
Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems
A Case Study in Software Reengineering for a DSP-based System on a Chip: Adaptation of Dolby Virtual Speaker
Disaster in London: The LAS Case study
The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines
Event Based Modeling and Control of Software Development Processes
Software Architecture Design: Evaluation and Transformation
A Systematic Method of Reusing Objects Extracted from Legacy Systems
Rapid Prototyping of Networked Embedded Systems
A Practical Approach for Process Family Engineering of Embedded Control Software
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
CPASA: Continuous Performance Assessment of Software Architecture
Integrating CAD and CAM via CORBA
Optimization of a Retargetable Functional Simulator for Embedded Processors
A Structured Framework for Assessing the "Goodness" of Agile Methods
Using FPGA implementations for evaluation of internet retransmission-time-out predictors
Using p - calculus to Formalize UML Activity Diagram
Hardware Accelerated Scheduling in Real-Time Systems
Formal Specification of Shared Variables Using CSP
Evolution of Software for Embedded Systems in Processor Expert
Predicting Availability of Mobile Peers in Large Peer-to-Peer Networks
Using Connectors to Integrate Software Components
Software Quality Enhancement Through Software Process Optimization Using Taguchi Methods
Do Sensornet Protocol Variants Yield Real Benefits?
An Analytical Review of Process-Centered Software Engineering Environments
A Foundation for Tool-Supported Critical Systems Development with UML
A Process Module to Pre-Process Requirements for Architecting
Maintaining Cache Consistency for Mobile Clients in Distributed File System
Platform for Creating Collaborative E-Learning Communities Based on Automated Composition of Learning Groups
Formal Parameters Synthesis for Track Segments of a Subway Mesh
Using UML Models and Formal Verification in Model-Based Testing
Interpreting Model-Based Components for Information Systems
Assisting the Definition and Execution of Test Suites for Complex Systems
Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems
An Architecture for Medical Knowledge-Based Assistance Systems
A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering
Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems
Software assessment to support certification for an existing computer-based system
UML-JMT: A Tool for Evaluating Performance Requirements
Towards defending connected vehicles against attacks
Effective Values: An Approach for Characterizing Dependability Parameters
The Summary of Indoor Navigation Possibilities Considering Mobile Environment
Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution
Modeling and Analysis of Probabilistic Timed Systems
Parallel Processing of Multichannel Video Based on Multicore Architecture
Domain-Specific Modeling Languages for Configuring and Evaluating Enterprise DRE System Quality of Service
Modeling and Evaluation Framework for FMC-QE
Validation of Component-Based Software with a Customer Centric Domain Level Approach
Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment
System Complexity and System Failures
Remote Integration and Coordination of Verification Tools in JETI
Customer-oriented Development of Complex Distributed Systems
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines
Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System
Empirical Metadata Maintenance in Source Code Development Process
Archiving System States by Persistent Objects
Systematic Definition of Reusable Architectures
Traceability-Driven Model Refinement for Test Case Generation
Contracts and Games in Controller Synthesis for Discrete Systems
A Non-numerical Predictive Model for Asymmetric Analysis
A Formal Model for Network-Wide Security Analysis
Staffing and organization in the engineering of systems
Using a Timed Petri Net (TPN) to Model a Bank ATM
Insertion of formalism into systems level design
Design of Very Lightweight Agents for Reactive Embedded Systems
Software Agents and Computer Network Security
Reasoning about Cryptographic Protocols in Observational Theories
Quantifying Error Propagation in Data Flow Models
A Component-Based Architecture for Software Communication Systems
Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)
Work, Span, and Parallelism of Transactional Memory Programs
Top-Down Composition of Software Architectures
Engineering of computer-based systems-a proposed curriculum for a degree program at Master level
Flexible Algorithms: Enabling Well-Defined Order-Independent Execution with an Imperative Programming Style
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs
Towards a Visual Sensor Network Built from Smartphones
The New Metamodeling Generation
Support for Holistic Response-Time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case Study
A Soft-Structured Agile Framework for Larger Scale Systems Development
A Statistical Approach to Model-Based Robustness Testing
Application of Bayesian Networks to Architectural Optimisation
Towards analysis of IP communication in a constrained environment of tactical radio networks
A model-based engineering process for increasing productivity in discrete manufacturing
Standardized Content Service System for Distributed E-learning Resource
Requirements for Distributed Mission-Critical Decision Support Systems
A Taxonomy for Scenario Use in Requirements Elicitation and Analysis of Software Systems
Architecture-Based Web Service Composition Framework and Strategy
Authentication and Integrity in Telecommunication Signaling Network
A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application
Classifying Object-Oriented Real-time Systems: Ada 95 and Deal
Aligning Computing Systems with their Environment: An Agile Perspective
Design principles of an embedded language (EFL) enabling well defined order-independent execution
Present and Future Requirements in Developing Industrial Embedded Real-Time Systems - Interviews with Designers in the Vehicle Domain
Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters
A Programming Model for Composing Data-Flow Collaborative Applications
2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, Brno, Czech Republic, August 27-28, 2015
Engineering Vertical Orchestration: From Biometric Trace Events to Incident Reporting
First IEEE Eastern European Conference on the Engineering of Computer Based Systems, ECBS-EERC 2009, Novi Sad, Serbia, September 7-8, 2009
Pattern-Driven Support for Designing Component-Based Architectural Models
Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring
Modeling of Data Adaptable Reconfigurable Embedded Systems
Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented Integration Infrastructures
Multimedia Systems - On the Ergonomic Design and Evaluation of User Interfaces and System Structures
On Extensible Networks for Embedded Systems
A System Architecture for Distributed Implementation of Virtual Measurement Systems
10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA
Mobile Agent Interoperability Patterns and Practice
Providing a Consensus Definition for the Term "Smart Product"
Tag Oriented Agile Requirements Identification
Component Behavior Prediction and Monitoring through Built-In Test
Fault-Adaptive Control: A CBS Application
A Systematic Process for Implementing Gateways for Test Tools
WICCAP: From Semi-structured Data to Structured Data
Dynamic Scheduling of Skippable Periodic Tasks in Weakly-Hard Real-Time Systems
An Ontology-Alignment Based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project Oriented Organizations
Incremental Type Checking in OCL Compilers
Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams
Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks
Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept
Finding Interaction Faults Adaptively Using Distance-Based Strategies
Wavelet-Based Detrending for EMG Noise Removal
A Framework for Developing Feature-Rich Software Systems
Performance improvement of distributed file system using tunneling
OSEK Based Embedded Networked Controller Handling Communication Delays
A Survey of Software Reuse Repositories
FireAnt: A Tool for Reducing Enterprise Product Line Architecture Deployment, Configuration, and Testing Costs
The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems
Are we on the way towards design habitability?
COTS Selection: Past, Present, and Future
A Retargetable C Compiler for Embedded Systems
Optimizing Design for Variability Using Traceability Links
Requirements Interaction Detection Using Semi-Formal Methods
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach
Executing Process Models - Activity and Project Management
Detailing and deriving system requirements
Model driven secure web applications: the SeWAT platform
Designing algorithm-oriented generic library on .NET framework
Ambulance Despatch Systems: The Melbourne Story
A Risc Architecture to Explore HW/SW Parallelism in HW/SW Co-Design
An Algorithm for Tolerating Crash Failures in Distributed Systems
A Generic Model-Based Test Case Generator
An Approach for Software/Hardware Co-design in Embedded Systems
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
Expanding the View on Complexity within the Architecture Trade-off Analysis Method
An Opportunistic Approach to Retaining Use Cases in Object-Oriented Source Code
Layered Architecture(s): Principles and Practice in Concurrent and Distributed Systems
DVTG and Test Harnessing using Rosetta Specifications
Automating Hardware and Software Evolution Analysis
Trust, Systems and Accidents: Designing Complex Systems
PuLSE-I: Deriving Instances from a Product Line Infrastructure
Model Based Statistical Testing and Durations
An Experimental Evaluation of Programming by Contract
Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions
Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection
Layer Based Approach of Corner Detection and Classification in Quantized Range Images
Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction
Supporting Evolutionary Development by Feature Models and Traceability Links
Decision guidance models for microservices: service discovery and fault tolerance
Aspect-Oriented Requirements Engineering for Software Product Lines
A State Equation for Petri Nets with Delaying Places
3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture
Methodology of Teaching Software Engineering: Game-Based Learning Cycle
Information Modelling for System Specification Representation and Data Exchange
Consistency in Model-Based Development
Toward Introducing Notification Technology into Distributed Project Teams
Distributed Learning Strategies for Collaborative Agents in Adaptive Decentralized Power Systems
Second Eastern European Regional Conference on the Engineering of Computer Based Systems, ECBS-EERC 2011, Bratislava, Slovakia, 5-6 September 2011
A Simulation Environment for the On-Line Monitoring of a Fault Tolerant Flight Control Computer
Secure Communication Trees in Ad Hoc Networks
Semantic Preserving Language Conversion by Simple Pattern Matching
Engineering of Computer-Based Systems in Process Control
Engineering Information Systems and the IEEE Std 1220-1994
Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters
Database Descriptors: Laying the Path to Commodity Web Data Services
Using CSP to Model and Analyze TinyOS Applications
Content Based Video Quality Assessment Platform
Mobile Device Software: Model-Based Architectures and Examples
Analyzing Content Life Cycle in Mobile Content Sharing Environment
Situation Assessment and Decision Making Integrated into the Process Centered Environment
The Analysis of BitTorrent Protocol Reliability in Modern Mobile Environment
Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications
Towards a generic framework for model-driven engineering of software process lines
IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012
Optimisation Process for Maintaining Evolvability during Software Evolution
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios
Representing abstract architectures with axiomatic specifications and activation conditions
EASe Introduction
A Performance Validation Tool for J2EE Applications
A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments
An auto-Configurable, and, Adaptable, Metric-driven Cluster-head Organisation for Hybrid Multi-hop Routing
Scenario-Based Program Slicing
Replacing Object-Oriented Design Patterns with Intrinsic Aspect-Oriented Design Patterns
Quality Assessment of D10 and DV25 Video Codecs for Broadcasting Purposes
Autonomic Computing - Panacea or Poppycock?
Preserving Use Case Flows in Source Code
The SIGNAL Approach to the Design of System Architectures
Speedup of the Microscopic Road Traffic Simulation Using Aggregated Vehicle Movement
Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Three Complementary Approaches to Bidirectional Programming
The C++0x "Concepts" Effort
Typed Tagless Final Interpreters
Generic Programming with Adjunctions
A Novel Feature Selection Algorithm Based on Aquila Optimizer for COVID-19 Classification
Software Defect Prediction Method Based on Cost-Sensitive Random Forest
Fault Localization Based on Deep Neural Network and Execution Slicing
Recognition of Signal Modulation Pattern Based on Multi-task Self-supervised Learning
Improving Speech Emotion Recognition by Fusing Pre-trained and Acoustic Features Using Transformer and BiLSTM
Predicting Student Performance in Online Learning Using a Highly Efficient Gradient Boosting Decision Tree
Empirical Evaluation of Evolutionary Algorithms with Power-Law Ranking Selection
Hybrid Integrated Dimensionality Reduction Method Based on Conformal Homeomorphism Mapping
More Teachers Make Greater Students: Compression of CycleGAN
Does Large Pretrained Dataset Always Help? On the Effect of Dataset Size on Big Transfer Model
Towards a Flexible Accuracy-Oriented Deep Learning Module Inference Latency Prediction Framework for Adaptive Optimization Algorithms
High-Resolution Remote Sensing Image Semantic Segmentation Method Based on Improved Encoder-Decoder Convolutional Neural Network
Intelligent Information Processing XI - 12th IFIP TC 12 International Conference, IIP 2022, Qingdao, China, May 27-30, 2022, Proceedings
A Concept-Based Local Interpretable Model-Agnostic Explanation Approach for Deep Neural Networks in Image Classification
Attention Adaptive Chinese Named Entity Recognition Based on Vocabulary Enhancement
An Indicator Based Evolutionary Algorithm for Multiparty Multiobjective Knapsack Problems
A Self-supervised Strategy for the Robustness of VQA Models
Intelligent Information Processing XII - 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part II
Comparative Study of Chaos-Embedded Particle Swarm Optimization
A BERT-Based Model for Legal Document Proofreading
Inductive Light Graph Convolution Network for Text Classification Based on Word-Label Graph
FRBBM-Scheme: A Flexible Ratio Virtual Primary Key Generation Approach Based on Binary Matching
Research on Wavelet Packet Sample Entropy Features of sEMG Signal in Lower Limb Movement Recognition
A Method of Garbage Quantity Prediction Based on Population Change
FedPV-FS: A Feature Selection Method for Federated Learning in Insurance Precision Marketing
Using Multi-level Attention Based on Concept Embedding Enrichen Short Text to Classification
Augmenting Convolution Neural Networks by Utilizing Attention Mechanism for Knowledge Tracing
An AdaBoost Based - Deep Stochastic Configuration Network
Adapting on Road Traffic-Oriented Controlled Optimization of Phases to Heterogeneous Intersections
Entity Relation Joint Extraction with Data Augmentation Based on Large Language Model
ROSES: A Novel Semi-supervised Feature Selector
Efficient and Secure Authentication Scheme for Internet of Vehicles
HARFMR: Human Activity Recognition with Feature Masking and Reconstruction
Deep Friendly Embedding Space for Clustering
Open-Set Sensor Human Activity Recognition Based on Reciprocal Time Series
Structure Optimization for Wide-Channel Plate Heat Exchanger Based on Interval Constraints
CAPPIMU: A Composite Activities Dataset for Human Activity Recognition Utilizing Plantar Pressure and IMU Sensors
Entropy-Based Logic Explanations of Differentiable Decision Tree
Secure and Negotiate Scheme for Vehicle-to-Vehicle Communications in an IoV
Graph Convolutional Networks for Predicting Mechanical Characteristics of 3D Lattice Structures
Intelligent Information Processing XII - 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part I
A Method for AGV Double-Cycling Scheduling at Automated Container Terminals
Data Transformation for Super-Resolution on Ocean Remote Sensing Images
Dependency-Type Weighted Graph Convolutional Network on End-to-End Aspect-Based Sentiment Analysis
Early Anomaly Detection in Hydraulic Pumps Based on LSTM Traffic Prediction Model
Adaptive Prototype Triplet Loss for Cross-Resolution Face Recognition
Are Mixture-of-Modality-Experts Transformers Robust to Missing Modality During Training and Inferring?
A Distributed Supply Chain Architecture Based on Blockchain Technology
Super-Resolution of Defocus Thread Image Based on Cycle Generative Adversarial Networks