yusuke1997/dblp-id-title huggingface dataset:
Designing and Implementing International RSIC Engineering Curriculum
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements
An Agent for Web-Based Process Management
Selecting Engineering Techniques using Fuzzy Logic Based Decision Support
Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems
Design of the Simulator for Teaching Computer Architecture and Organization
An Efficient Adaptive Method of Software-Based Self Test Generation for RISC Processors
Generation of Related Performance Simulation Models at an Early Stage in the Design Cycle
A Definition of "Abstraction Level" for Metamodels
Tuning Complex Sensornet Systems Using Principled Engineering Methods
Test Scenario Generation from a Structured Requirements Specification
A Slicing Approach for Parallel Component Adaptation
The Networked Photo-Enforcement and Traffic Monitoring System Unicam
Details of Formalized Relations in Feature Models Using OCL
Reliability Analysis of Multistate Systems Based on Bayesian Networks
SET: Interactive Tool for Learning and Training Scan-Based DFT Principles and Their Consequences to Parameters of Embedded System
A Hybrid View in a Laparoscopic Surgery Training System
Need-Based Requirements Change Management
Advanced Bayesian Optimization Algorithms Applied in Decomposition Problems
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
Viewpoints in the Smart Home Product Line
Designing a Model-Based Interaction Planner with Dialogue Analysis
An Architecture-Based Approach to Developing Context-Aware Adaptive Systems
Modeling and Visualizing the Future: The Human Element of Visionary Processes
Hardware/Software Communication Middleware for Data Adaptable Embedded Systems
A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing Functionality
Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies
A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems
Agile Release Planning: Dealing with Uncertainty in Development Time and Business Value
Towards a New Component Composition Process
Composition of Cyber-Physical Systems
Aspects of Intermediate Level Obfuscation
Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the Web
Factoring Mobile Agents
A Model-Based Statistical Usage Testing of Communication Protocols
Reengineering a Legacy Tool for Software Evolution
A Module for Automatic Assessment and Verification of Students' Work in Digital Logic Design
Formal Verification of Distributed Transaction Management in a SOA Based Control System
Model Checking Procedures for Infinite State Systems
A Methodology for Rapid Analysis and Optimization of Embedded Systems
Introducing Impact Analysis for Architectural Decisions
Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level
A Concept-Oriented Logical Framework for Domain Knowledge Modeling and Analysis in Computer-based Systems Engineering
A Seed for a STEP Application Protocol for Systems Engineering
An Extensible Software Architecture for Mobile Components
Application of a Technique for Evaluating Information System Architectural Designs
Personal Autonomic Computing Self-Healing Tool
Reducing the Power Consumption of FPGAs through Retiming
Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers
Applications for Mobile Agents in Peer-to-Peer-Networks
CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments
Intelligent design assistance with SEA
Process centered displays and cognitive models for command applications
Parallel and Reliable Execution of a WDR Algorithm in High Speed Networks
Simultaneous Functionality Verification System of Multiple Set-Top Boxes
A Java-Based CSCW Tool for Supporting Software Processes
Protocol Verification in a Software Component-Based Approach
Node-Oriented Modeling and Simulation of IP Networks
Automatic requirements specification update processing from a requirements management tool perspective
Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System
Hierarchical architectural design, simulation and evaluation
Software Architectural Design Meets Security Engineering
Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience
ViDL: A Versatile ISA Description Language
Utilization of a Genetic Algorithm in Division of Road Traffic Network for Distributed Simulation
From Requirements to Specifications
Issues in Architectural Modeling and Evolution in the Know-It-All Case Study
Design and Evaluation of In-vehicle Sensor Network for Web based Control
Adaptive Web-Based Learning System
Archmeds: An Infrastructure for Dependable Service-Oriented Architectures
Route Separation Strategies for Human Movement Datasets
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
QR Recursive Least Squares IP Core Example
Metaprogrammable Toolkit for Model-Integrated Computing
Refinement in Requirements Specification and Analysis: A Case Study
Design Tool Integration: An Exercise in Semantic Interoperability
Using a New Software Product Development Process for a Code Reuse Project
A Framework for Formal Specification of Embedded Systems
Transformation of Existing Programs into Autonomic and Self-healing Entities
Towards Change Propagating Test Models in Autonomic and Adaptive Systems
Discovering Rules for Fault Management
Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical Training
An Interval-Based Solution for Static Analysis in the SIGNAL Language
Identifying and Utilizing Routines of Human Movement
Hierarchical Multiple Associative Mapping in Cache Memories
The Survey Of Some Aspects Of European Higher Education At The Beginning Of The Third Millennium
MATERA - An Integrated Framework for Model-Based Testing
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions
System Design for Passive Human Detection Using Principal Components of the Signal Strength Space
Real-Time Monitoring using AJAX and WebSockets
The identification of integrity constraints in requirements for context monitoring
ALI: An Extensible Architecture Description Language for Industrial Applications
Establishing a Service Tree-Based Approach of Complex Systems
Ensuring Structure and Behavior Correctness in Design Composition
Experiences on Model-Driven Software Development for Mobile Applications
Vision Based Area Discovery with Swarm Robots
Model-Based Development of Computer-Based Information Systems
Using Automatable Proof Obligations for Component-Based Design Checking
IPOG: A General Strategy for T-Way Software Testing
Context Modeling for an Usability Oriented Approach to Interactive Systems Requirements Engineering
Software Engineering for Real-Time High Reliability Applications
Digital Sound Projector Implementation and Verification within DTV Embedded System
A Taxonomy of Change Types and Its Application in Software Evolution
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
Lessons for the Future: Safety Critical Systems
Implementation of Object-Oriented Protocol Agents in Communication Devices
Twenty Years of Safe Train Control in Sweden
Data Fusion: Boosting Performance in Keyword Extraction
A Run-Time Library for Parallel Processing on a Multi-core DSP
Multi-way Semantic Specification of Domain-Specific Modeling Languages
A multimodeling framework for complex software reuse
Architecture-Based Visualisation of Computer Based Systems
Coverage Based Test-Case Generation Using Model Checkers
Automated Adaptor Generation for Services Based on Pushdown Model Checking
The Action Language: Refining a Behavioral Modeling Language
A model-integrated information system for increasing throughput in discrete manufacturing
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators
Model Checking Embedded Systems with PROMELA
Synthesis of High-Level Requirements Models for Automatic Test Generation
Role-Centered Design for Evolution
Simulation Approach to Embedded System Programming and Testing
Theory and Applications of Evolvable Embedded Systems
Structured Specification of Model Interpreters
Is Automotive SPICE Suitable to Assess Product Lines-Based Software Process?
UCM-ROOM modelling: from use case maps to communicating state machines
Smart Audio/Video Playback Control Based on Presence Detection and User Localization in Home Environment
Building Distributed Scalable Dependable Real-TimeSystems
The Impact of Agile Methods on Software Project Management
Rava: Designing a Java Extension with Dynamic Object Roles
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications
Component vs. Component: Why We Need More Than One Definition
Alert Fusion for a Computer Host Based Intrusion Detection System
On the Evaluation of Clock Synchronization Methods for Networked Control Systems
An Explicit Definition of Connectors for Component-Based Software Architecture
Efficient and Effective Simulation of Memory Maps for System-on-Chip
Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems
Process and systems complexity
A Constraint-based intrusion detection system
ECBS Benefits
A Meta-Framework for Design Space Exploration
Performance Considerations on Composite Applications
"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities
Towards an application of model-based codesign: an autonomous, intelligent cruise controller
A Real-time Interactive Instructor Framework for Distance Education
An Intelligent Agent Security Intrusion System
AMABULO - A Model Architecture for Business Logic
Applying Model Checking to Workflow Verification
Formal Architecture Transformation Using Heuristics
Supporting Customizable Architectural Design Decision Management
A Comparative Evaluation of Mobile Agent Performance for Network Management
Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet
Semantically Enhanced Containers for Concurrent Real-Time Systems
Testable Specifications of NoTA-based Modular Embedded Systems
Learning Classifier System Improvement Based on Probability Driven and Neural Network Driven Approaches
ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components
A Framework for Understanding Heuristics in Architectural Optimisation
The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance
The Use of Autonomic Management in Multi-provider Telecommunication Services
An introduction to the processing graph method
A Methodology for Requirements Engineering Process Development
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
Feedback Control Scheduling for Crane Control System
Application Patterns for Computer-Based Systems Design Reuse
18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011
A Formal Approach to Requirements-Based Programming
Yield Modeling for Error Tolerant and Partially Defect Tolerant Arrays
A digital protective relay as a real-time microprocessor system
A New Method for Identification of Reusable Software Components
A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture
An Automatic Approach to Generating State Diagram from Contract-Based Class
12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA
Selecting Requirements Engineering Techniques Based on Project Attributes--A Case Study
Formal Specifications of Computer-Based Systems
Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems
Adaptive Tracking in Distributed Wireless Sensor Networks
Design of Virtual Reality Based HMIs (Human Machine Interfaces) of Complex Systems
Introducing Agile Development Practices from the Middle
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
Object-Oriented Analysis and Design of Web-Based Information Systems
Communication Modeling for System-Level Performance-Simulation
Scenario-Based Architectural Design Decisions Documentation and Evolution
Domain Independent Generative Modeling
Towards an Integrated, Model-Based Codesign Environment
An Approach for the Verification of UML Models Using B
Design and Optimization of Distributed Control System using UML Model
A toolset for the reengineering of complex computer systems
Ontological Traceability over the Unified Process
An Empirical Validation of Four Different Measures to Quantify User Interface Characteristics based on a General Descriptive Concept for Interaction Points
Edge Preserving Range Image Smoothing by Rotated Bilateral Sampling
A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems
Model Transformations in the Model-Based Development of Real-time Systems
Requirements capture and analysis prior to modeling
Scenario-Based Software Process
Designing Tests for Adaptive Formative E-Assessment in Project Management
Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations
Reliable Multihop Bulk Transfer Service for Wireless Sensor Networks
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems
Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Advanced Hardware Architecture of a System of Interconnections in a Modern Commutation System
Integrative Architecture Elicitation for Large Computer Based Systems
Robotics Today: The Good, Bad, and Ugly
The Scheduling Algorithms in Software Architecture Modeling
An Emulation Solution for the SegBus Platform
Design Guidance Using Simulation-Based Bayesian Belief Networks
Toward Automated Retrieval for a Software Component Repository
Change Types of Dynamic System Reconfiguration
Domain Engineering: The Challenge, Status, and Trends
A Formal Authorization Framework for Networked SCADA Systems
Using Integrative Models in an Advanced Heterogeneous System Simulation
Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges
Dual channel security
Behavioral Views for Software Requirements Engineering
Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS AP
A Case Study of Issues Related to Automotive E/E System Architecture Development
Enhancing Network Management using Mobile Agents
The Strategic Impact of Service Oriented Architectures
Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD
The Rosetta Meta-Model Framework
MoDeII: Modeling and Analyzing Time-Constraints
Architectural Description with Integrated Data Consistency Models
ASPECT - An Architecture SPECification Technique: A Report on Work in Progress
An Appraisal of Existing Evaluation Frameworks for Agile Methodologies
An Integrated Audio and Video Communication System for Digital Television Sets
Reachability Analysis in Dynamically Routed Networks
10 Years Model-Driven - What Did We Achieve?
Hybrid Control-Flow Checking with On-Line Statistics
A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models
Suffix Caching Techniques of Streaming Media Based On Batch Patching
System Specification in Rosetta
Some thoughts on the quality of a computer-based system's architecture
Embedded System Engineering Using C/C ++ Based Design Methodologies
System design with models
TRACY - A Prototype of an Architected Middleware to support Mobile Agents
Synthesis of C ++ Software from Verifiable CSPm Specifications
A Super Tracer and an Analyzer for Analyzing Detailed Behavior of a Linux on a Pentium Family Processor (STDB)
Embedded system design: a case study
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems
Functional and Object-Oriented Views in Embedded Software Modeling
Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks
The insides and outsides of computer-based system complexity
ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis
Using Extensible Query Language (XQL) for Database Applications
Performance Analysis of Multiclass Data Transfer Elements in Soft Real-Time Systems
Systematic Derivation of Operational Scenarios Using ECSAM
Model-Based Testing Using System vs. Test Models - What Is the Difference?
On the Extraction and Analysis of a Social Network with Partial Organizational Observation
View based object oriented approach for complex system modelling
On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle
COTS (Commercial Off The Shelf) Distributed System for Critical Application
Touch-Screen Stimulation for Automated Verification of Touchscreen-Based Devices
Limited Software Warranties
Behavior Analysis-Based Learning Framework for Host Level Intrusion Detection
Design and Description of a Classification System Framework for Easier Reuse
Autonomous Agents in Complex Event-Driven Software Systems
Toward a Service-Oriented E-Learning Platform in Project Management
A Metadata Driven Approach to Performing Multi-vendor Database Schema Upgrades
Technical Realization of the Optimal Motion Planning Method for Minimally Invasive Surgery
Modeling and Building Reliable, Re-Useable Software
Model-based engineering of large-scale real-time systems
WinDLX and MIPSim Pipeline Simulators for Teaching Computer Architecture
Modeling Workflow Process Models with Statechart
DILSA : Distributed In-door Location System Architecture
System engineering based design and control of teletraining sessions in an open environment
14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA
Using Category Theory to Model Software Component Dependencies
Coupling Architectures for Low- Level Fieldbusses
8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA
Wireless Sensor Networks as a Service
A Security Modeling Approach for Web-Service-Based Business Processes
End-User DevelopmentFramework for Embedded System Applications
Towards Recyclable System Requirements
Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing Networks
Simulation of hybrid mechatronic systems: a case study
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems
Computer Based Psychotherapy for Treatment of Depression andAnxiety
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System
What Is Included in Software Architecture? A Case Study in Three Software Organizations
Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model
Model Checking Goal-Oriented Requirements for Self-Adaptive Systems
Supporting Design Patterns with Annotations
Instructions energy consumption on a heterogeneous multicore platform
UMLintr: A UML Profile for Specifying Intrusions
Support for Representation of Functional Behavior Specifications in AP-233
Modeling the Mediated Schema Constraints
Open Complex Computer Based Systems: Only the First Step along the Way to Safe, Reliable Computing
Engineering Self-Service Correctional Facility Biometric Computer-Based Systems
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm
XML Information Retrieval Based on Tree Matching
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
Evaluating Alternatives for Architecture-Oriented Refactoring
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix
Model Driven Management of Complex Systems: Implementing the Macroscope's Vision
Formal Abstract Architecture for Use Case Specifications
FMC: An Approach Towards Architecture-Centric System Development
A Foundation for Adaptive Fault Tolerance in Software
Categorization of Programs Using Neural Networks
Orthogonal Array and Virtualization as a Method for Configuration Testing Improvement
Enabling Optimisation in the Design of Complex Computer based Systems
WSN-based Intelligent Telematics System
System Composition Strategies, Panel Introduction
Why Computer-Based Systems Should Be Autonomic
High Level Architecture for an Advanced Distributed Complex Systems Engineering Environment
Forensic ECBS: A Situational Assessment
Experience with the use of standard IEEE 982.1 on software programs
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository
Developing Mobile Applications for Multiple Platforms
Model-integrated computing environments and computer-based systems
A Collaboration-Oriented Software Architecture Modeling System - JArchiDesigner
Large Scale Models of Cooperative and Hostile Intentions
Simulating Data Generated by a Network of Track-While-Scan Radars
Extensibility and Modularity for Model Driven Engineering Environments
Autonomic Cluster Management System (ACMS): A Demonstration of Autonomic Principles at Work
Developing a Traceable Domain Reference Architecture to Support Clinical Trials at the National Cancer Institute - An Experience Report
Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment
Model-based diagnosis in a power distribution testbed
Development of a Novel Semantic-Based System Integration Framework
Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course
Fostering the Universal Virtual Computer as Long-Term Preservation Platform
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model Composition in Rosetta
A survey of system design methodologies
System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems
Requirements Trade-offs During UML Design
REL: A Fault Tolerance Linguistic Structure for Distributed Applications
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry
Metrics Functions for Kanban Guards
A Formal Approach for Interoperability between Mobile Agent Systems and Component Based Architectures
Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems
Truly Distributed Control Systems using Fieldbus Technology
A Graduate-Level Course on CBS Design Tool Development
On Some Key Requirements of Mobile Application Software
Model-based approach to the development of SCADA applications
Building Compilers by Combining Algebras
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
Combining Requirements Engineering Techniques - Theory and Case Study
Towards an Open Framework for Conceptual Knowledge in ECBS Domain and Information Modelling
Process Patterns for Aspect-Oriented Software Development
Model Based Self Adaptive Behavior Language for Large Scale Real time Embedded Systems
Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures
16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009
Optimal smart mobile access point placement for maximal coverage and minimal communication
TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems
On the Meaning of SysML Activity Diagrams
Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples
Enterprise-Wide Solutions Architecting Using UML
Efficiency Aspects of Orientation Estimation with Optical Flow on Mobiles