yusuke1997/dblp-id-title huggingface dataset:
Interactive visual analysis of spatiotemporal characteristics in tropical cyclone trajectory data
Computing Minimum Bundling Distance of a Set of Line Segments
Weightlifting training assistance system
A Novel Big-Data-Driven Credit Reporting Framework for SMEs in China
Big-data-driven Model Construction and Empirical Analysis of SMEs Credit Assessment in China
The role of science and technology in sport
An IoT-based Real Time Low Cost Low Power Monitoring and Notification System for Aged Care
Approaches to Front-End IoT Application Development for the Ethereum Blockchain
Artificial Haze Immune Algorithm for Image Processing
Semantics-Based Anomaly Detection of Processes in Linux Containers
Farmland Boundary Extraction Technology Based on UAV Images
Multi-leader Election in Dynamic Sensor Networks
Multi-sensor Golf Swing Classification Using Deep CNN
Review and Prospect of Modern Education using Big Data
A Novel Framework to Localize Moving Targets in Video Surveillance Systems via Spectral Clustering
A Notification Transmission Mechanism for Sensor Nodes Based on Sensing Contents in IoTs
Dynamic Allocation of RACH Resource for Clustered M2M Communications in LTE Networks
Analysis of Erdös Collaboration Graph and the Paper Citation Network
Term Extraction Using Co-occurrence in Abstract and First Claim for Patent Analysis
Review on MAC Protocols in Energy-Harvesting Wireless Body Area Networks
An Interactive Graphical Interface for Retrieving Multi-attribute Data: A Case Study on Historical Relics Retrieval in 3D Digital Museum
Online Multiperson Tracking and Counting with Cloud Computing
Reflectivity-Amplitude Modulation of A Radar Absorber Based on Active Frequency Selective Surface
The Statistical Wide-Band Feature Method of HRRP Based on Optimal Path Means
The Design and Realization of a Rotary Inverted Pendulum Based on STM32
A New Neural Network Model for Rock Porosity Prediction
Optimization Coverage Control Algorithm Based on Square Monitoring Area in Wireless Sensor Networks
Convolutional Neural Network and Hyperspectral Imaging for Detection of Deoxynivalenol Levels of Barley Kernels
Target identity recognition method based on RCS distribution and spatial location
Optimization Design of Downsized Engine Structure Based on Dynamic Knock Excitation
Robustness of Input Features from Noisy Silhouettes in Human Pose Estimation
Enhancing Context-Aware Recommendation via a Unified Graph Model
A Novel Hierarchal Scheduling Strategy for Rendering System
Efficient Connected Dominating Set Construction with Maximum Lifetime in the Cognitive Radio Networks
Near-Complete Privacy Protection: Cognitive Optimal Strategy in Location-Based Services
The Study of MAC Protocol for Industrial Wireless Sensor Network Based on Ultra-wide Band
LSTM Based on the Classification of Emotion about User Evaluation on Shopping Site
Research on causality extraction algorithm for medical text based on BERT and graph attention network
SA Framework based De-anonymization of Social Networks
International Conference on Identification, Information, and Knowledge in the Internet of Things, IIKI 2015, Beijing, China, October 22-23, 2015
Detecting Redirected Curvature Gain Thresholds in Vehicle-based VR Environments
Distributed Learning for Gait-based Human Recognition
Fine-grained Access Control with Privacy Support and Network Service Optimization in Ad hoc Networks
An Asynchronous Distributed Data Collection Approach for Mobile Group Consumption
A Fast AES Encryption Method Based on Single LUT for Industrial Wireless Network
Virtual Power Meter Supported Power Consumption Prediction of Web Services
Innovations and Applications in Urban Planning of Smarter City
An Efficient Similarity Measure for Collaborative Filtering
Research on the Optimized Dispatch and Transportation Scheme for Emergency Logistics
Study on a Resnet18-Based Lightweight Recognition ALgorithm of Coal and Gangue
A Deep Learning Fusion Recognition Method Based On SAR Image Data
An Effective AODV-based Flooding Detection and Prevention for Smart Meter Network
Intelligent Dialogue Method for Educational Applications Based on Improved Large Models
A HOG-SVM Based Fall Detection IoT System for Elderly Persons Using Deep Sensor
Attention Distillation for Accuracy Improvement of Vision Transformer
A Novel Multi-resolution Representation for Streaming Time Series
Study of Intelligent Instrument Data Acquisition and Transmission on Wireless Network
An Improved SMOTE Imbalanced Data Classification Method Based on Support Degree
Ladle Monitor System Based on Vehicle Distance Measurement and Auxiliary Judgment Rules
Infrared Thermography and Its Applications in Aircraft Non-destructive Testing
Adversarial Attacks on IoT Systems Leveraging Large Language Models
Enhanced Web Warehouse Model: A Secure Approach
DV-Hop Localization Algorithm Based on Minimum Mean Square Error in Internet of Things
Research on the Micro-Motion Patterns Recognition Method Based on Characteristic Value Entropy
Overview of Data Mining and Visual Analytics towards Big Data in Smart Grid
Privacy Information Security Classification Study in Internet of Things
Validation of Smartphone Gyroscopes for Angular Tracking in Biofeedback Applications
A Survey on the Development and Application of YOLOv5 in the Internet of Things
Web Services Recommendation Leveraging Semantic Similarity Computing
Supporting Interval Time Complex Events Processing in an RFID System
Forecasting of Forex Time Series Data Based on Deep Learning
Biomechanical Model for Detection of Vertigo Disease
Internet of Things Services for Small Towns
A Novel Workbench for Collaboratively Constructing 3D Virtual Environment
Image To Latex with DenseNet Encoder and Joint Attention
Density peaks based clustering for single-cell interpretation via multikernel learning
Autonomous Wearable Personal Training System with Real-Time Biofeedback and Gesture User Interface
Circle-Covering Algorithm for Multiple-POI Searching
Comprehensive Evaluation Model of Service Robot
An Algorithm Based on Two-Layer Graph Model for E-Commerce Recommendation
An attack-Resistant Reputation Management System For Mobile Ad Hoc Networks
A Random Factor Extension on the PSO Algorithm
The Dissemination Distance of Mobile Opportunistic Networks
An Empirical RCS Formula of Bistatic Luneberg Lens Reflector
An improvement method of DBSCAN algorithm on cloud computing
SmartSKI: Application of Sensors Integrated into Sport Equipment
One-Time-Username: A Threshold-based Authentication System
A Novel Source-Location Anonymity Protocol in Surveillance Systems
Statistical Analysis of Process Variations on the Delay-Based PUF
Parameter Estimation of Three-dimensional Scattering Centers Based on State Space and ESPRIT Method
A Review of Wearable Gait Recognition: Techniques, Methods, and Future Trends in Biometric Authentication
Strain Gage Sensor Based Golfer Identification Using Machine Learning Algorithms
An Efficient Interest-aware Data Dissemination Approach in Opportunistic Networks
Time Synchronization Attacks in IEEE802.15.4e Networks
Approximate Scheduling and Constructing Algorithms for Minimum-Energy Multicasting in Duty-Cycled Sensor Networks
Wide-angle ISAR Imaging for a sparse frequency domain signal
A Computer Simulation System Used for Analyzing Balance Control Strategy during an Unexpected Slip
Privacy Preservation for Dating Applications
Distortion-driven Turbulence Image Blur Effect Removal using Variational Model and Kernel Regression
Design and Test of an Absorber with a Transparent Window
Arbitrary size ratio canonical object classification based on Convolutional Neural Network
Maximum delay anonymous clustering feature tree based privacy-preserving data publishing in social networks
Polynomial Subset Based Efficient Key Management for Lightweight Devices Networks
Security and Privacy in the Internet of Vehicles
A Study of Relationship between Investor Sentiment and Stock Price Based on Text Mining
A Method for Extracting Section Information of Highway Based on Massive GPS Data
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
Developing formally verified Ada programs
The use of lexical affinities in requirements extraction
Towards Extensible Graphical Formalisms
A computational mechanism for parallel problem decomposition during requirements engineering
Dealing with different time scales in formal specifications
The Safety Requirements Engineering Dilemma
A model for composite system design
Experiences using statecharts for a system requirements specification
From Early to Late Formal Requirements: A Process-Control Case Study
Software Architecture Analysis Based on Statechart Semantics
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
Program and Organizing Committees
Telecommunication service description using state transition rules
Relating CHAM Descriptions of Software Architectures
Equational reasoning about LOTOS specifications: a rewriting approach
Modal Logic as a Design Notation
Feature Engineering
Duration Properties over Real Time System Designs
An Active Hypertext Model for System Requirements
Prototyping and formal analysis of concurrent and distributed systems
Seven (plus or minus two) challenges for requirements research
Reasoning of real-time distributed programming languages
Data-flow design as a visual programming language
PoliS: a programming model for multiple tuple spaces
A Case Study in Architectural Modelling: The AEGIS System
Abstraction and composition in Δ-specifications of concurrent systems
Specification criticism via goal-directed envisionment
Concern-driven design for a specification language supporting component-based software engineerin
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does
A proposed perspective shift: viewing specification design as a planning problem
Towards a formal specification method for graphical user interfaces using modularized graph grammars
Enhancing Design Methods to Support Real Design Processes
Problems and Deficiencies of UML as a Requirements Specification Language
Using Design Fragments to Modularize the Design of Communications in Concurrent Systems
Timing extensions to structured analysis for real time systems
Preconditions for understanding
The Declarative Problem Frame: Designing Systems that Create and Use Norms
To Be and Not to Be: On Managing Inconsistency in Software Development
Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989
Using XML to Build Consistency Rules for Distributed Specifications
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
TRMCS in TCOZ
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
Action system approach to the specification and design of distributed systems
Software Package Requirements and Procurement
Issues in Analyzing the Behavior of Event Dispatching Systems
Specifying groupware requirements from direct experience
Interface specification with temporal logic
Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996
Dependency Relations between Models in the Unified Process
Reflective computation in object-oriented concurrent systems and its applications
Formalizing System Structure
Declarative specification and declarative programming
Formalising ERP Selection Criteria
Specifying reusable components using Z: realistic sets and dictionaries
Issues in the specification and design of parallel programs
V & V through Inconsistency Tracking and Analysis
Why IDLs are Not Ideal
Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000
Traceability and Modularity in Software Design
Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
Configuration support for system description, construction and evolution
Model Checking Implicit-Invocation Systems
Specifying concurrent systems with Δ-grammars
On the Consequences of Acting in the Presence of Inconsistency
Modular Reasoning About Open Systems: A Case Study of Distributed Commit
Reuse of analogous specifications during requirements analysis
Implementing a shared dataspace language on a message-based multiprocessor
Viewpoint analysis: a case study
FUNSOFT nets: a Petri-net based software process modeling language
Business Rules as Organizational Policies
Addressing requirements issues within a conceptual modeling environment
The requirements apprentice: an initial scenario
Specifying Reactive Systems by Abstract Events
Design Guidance through the Controlled Application of Constraints
The Dangerous 'All' in Specifications
On the meaning of "but"
Assuring Accuracy and Impartiality in Software Design Methodology Comparison
Formal Tools for Managing Inconsistency and Change in RE
On the algebraic representation and treatment of processing structures
LCD-reification: a formal method for developing Prolog programs
An integration environment to put formal specifications into practical use in real-time systems
Reflective Specification: Applying A Reflective Language to Formal Specification
Visual Presentation of Software Specifications and Designs
A formal framework for the design of development environments
Overcoming shortcomings in schema-based software design systems
Detecting interference when merging specification evolutions
Design by decomposition of multiparty interactions in Raddle87
Authoring-in-the-large: software engineering techniques for hypertext application design
Specifications Approaches Express Different World Hypotheses
A Coordination Model to Specify Systems Including Mobile Agents
Functional programming: executable specifications and program transformations
Analogical approach to specification derivation
An example of formal specification as an aid to design and development
A specification language for parallel architectures and algorithms
Reconciling System Requirements and Runtime Behavior
A Survey of Architecture Description Languages
Software Architecture Directed Behaviour Analysis
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
A Pragmatic Basis for the Formal Development of Distributed Systems
A compositional proof system for real-time systems based on explicit clock temporal logic
Techniques for the design of communicating processes
Merlot: A Tool for Analysis of Real-Time Specifications
Fine-Grain Process Modelling
Specifying Reactive Systems with Attributed Finite State Machines
Incremental Software Development Method Based on Abstract Interpretation
Towards a Software Engineering Approach to Web Site Development
Larger scale systems require higher-level abstractions
Rooting UNITY
Design Decision Trees
Developing reactive systems in a VDM framework
Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998
Specifying coordinators: guidelines for groupware developers
Formal specification of fault-tolerance and its relation to computer security
Systematic design of algebraic specifications
An Incremental Approach to Reachability Analysis of Distributed Programs
Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification
Safety through Security
PDP: Programming A Programmable Design Process
A "Coming and Going" Approach to Specification Construction: A Scenario
Advantages and limits of formal approaches for ultra-high dependability
An operational semantics of real time design language RT-CDL
A Taxonomy of Inheritance Semantics
Putting non-functional requirements into software architecture
Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification
Design and Development Assessment
Specification and Analysis of Timed and Functional TRMCS Behaviours
A system for multiparadigm development of software systems
A Petri-Net -Based Approach to Real-Time Program Analysis
Multiparty specification
Related Specifications Reuse
Tool Specification with GTSL
Analysis capabilities for requirements specified in statecharts
Bridging the Requirements Gap: Policies, Goals, and Domains
Predicting Operational Behaviour of Abstract Programs During Formal Developments
Heterogeneous design idioms for software architecture
Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling
Software design issues: a very large information systems perspective
A logic of action for supporting goal-oriented elaborations of requirements
A Framework for Program Development Based on Schematic Proof
A formal specification of a visual language editor
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
Formally specifying electronic instruments
Goal-directed concept acquisition in requirements elicitation
A general way to put time in Petri nets
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
Performance Evaluation of a Software Architecture: A Case Study
ACME/PRIME: Requirements Acquisition for Process-Driven Systems
Domain analysis: from art form to engineering discipline
Toward reliable reactive systems
Methodological Support for Requirements Elicitation and Formal Specification
Representing first order logic-based specifications in Petri-net-like graphs
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition
Requirements Elicitation Driven by Interviews: The Use of Viewpoints
Specification and Refinement of a Message Router
An Empirical Approach to Software Architectures
Designing software for customization and evolution
Human factors: its place in system development methods
The Complexity of TRMCS-like Spiral Specification
On the specification of software components
Software development using models
An Exercise in Formal Reasoning about Mobile Communications
Supporting the Selection of Software Requirements
A net method for specification of reusable software
Integrating multiple specifications using domain goals
Superposing Connectors
Learning from Inconsistency
Real-time specification and modeling with joint actions
Industrial software architecture with Gestalt
A comedy of errors: the London Ambulance Service case study
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
Design and Validation of a Message-Passing System
Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991
A Mathematical Toolbox for the Software Architec
Swarming over the software barrier
Taking More of the Soft out of Software Engineering
Discovering, visualizing, and controlling software structure
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004
4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002
First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005
Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997
Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003
Application of Unfeaty Tenancy in Simulating Flip-Flop Gates and Location-Identity Split
Study on the Method Based on Rough Sets and Neural Network for the Estimation of Iron Ore Grade
A Fiber Bragg Grating Vibration Interrogation System Based on a Cascaded Long-Period Fiber Grating
A Low-Rate DoS Detection Based on Rate Anomalies
Application of Simulated Annealing Algorithm in Fingerprint Matching
Image Resizing Based on Self-adapting Significant Map
Emotion Recognition from Physiological Signals Using AdaBoost
User-Oriented and Entropy Based Adaptable Web Service Selection in AmI
An Improved Apriori Algorithm
Multi-channel LED Drive System Based on CAN Bus
Research on Simulation Method of Flight Safety for Civil Aircraft
Risk Analysis and Its Application of the Projects Based on Computer Simulated Technology
Application of Wireless Sensor Network in Farmland Data Acquisition System
Kalman Filter Based on SVM Innovation Update for Predicting State-of Health of VRLA Batteries
Design and Implementation of a DSP-Based Embedded Intelligent Traffic Surveillance System
The Algorithm Design and Application of the Neural Network
CA-2D-VLC Decoder for AVS in SOC Design
Study on the Traverse Mechanism with Rotary Wings
The Design of the Network Configuration Management Based on NETCONF Protocol
A Shortest Path Algorithm with Constraints in Networks
No-Model Tracking by Data-Driven Method Using BP Networks
Modeling Restricted Factor for Mobile Group Collaboration
Multi-objective Optimization Using Immune Algorithm
Method of Underwater Autonomous Weapon System Hitting Control Based on PSO
A Bricklaying Best-Fit Heuristic Algorithm for the Orthogonal Rectangle Packing Problem
Research on Data Display and Network Analysis Algorithm Based on Embedded GIS
Utility-Based Network Adversary Model
The Model Design of Intelligent DSAS Based on the Multi-MA
An Optimized Method for Transient Electromagnetic Field
Research on Optimization Algorithm of TCP Reno Based on Wireless Network
Study on Iterated Local Search Algorithm for Permutation Flowshop Problem with Total Flowtime Objective
Soft Lattice Implication Algebras
Design of Koji Making Disc Machine Control System in Soy Sauce
An Attitude Determination System Based on Adaptive Kalman Filter for Human Machine Interface
A Micro-Grid Communication Mechanism in Distributed Power System
Numerical Simulation Reaseach on Stress Field Distribution of Coal Bed Fault Structure Formation and Evolution
Design and Realization of the Engine Condition Monitoring System Based on CAN Bus
Study on the Current Situation of Soil Lead Pollution and Health Risk in Harbin
Rumor Spreading in Local-World Evolving Network
An Efficient Storage Method for Disaster Tolerant System
Numerical Simulation for BF Hearth and Bottom Using Finite Difference Method
Estimating the Number of People in Crowded Scenes Based on Energy in Frequency Domain
Study on Synthesis Fault Diagnosis Strategy of the Brake System of Wind Turbine Based on Evidence Theory
Evaluation Study of Basic Public Service' Equalization Level on the Provincial Administrative Regions in China Based on the Wavelet Neural Network
Decision Rule Acquisition Based on Variable Rough Set Model in IFDISs
Analysis of Variability of Degree of Compaction and Air Void Content in Asphalt Pavement of Baosan Expressway
Partitioning Algorithm for PON Network Design
Polarity Analysis Based on an Improved Feature Selection Algorithm
Evidential Risk Analysis Based on the Fuzzy Belief TOPSIS
Image Feature Extraction Method Based on Shape Characteristics and Its Application in Medical Image Analysis
Locally Optimum Detection of a Noise Model Based on Generalized Gaussian Distribution
Study on the Method of Matching with Cartoon Sequence Graphics on the Base of Character′s Centroid
Study on Security Architecture for Internet of Things
A Modified Securities Model Based on Public Key Infrastructure
Data Mining Method for Incident duration Prediction
Coded Circuit for Trusted Computing: Towards Dynamic Integrity Measurement
Research of Dynamic Priority Improvement Method in μC/OS-II Real-Time Operating System
Design and Implementation of a Wireless Healthcare System Based on Galvanic Skin Response