yusuke1997/dblp-id-title huggingface dataset:
Performance comparison of neural networks and pattern recognition techniques for classifying ultrasonic transducers
Reasoning about comprehensions with first-order SMT solvers
Developing a managed system in the OSI network management
Web Services for E-commerce: guaranteeing security access and quality of service
Efficient Sanitization Design for LSM-based Key-Value Store over 3D MLC NAND Flash
On quantitative measurement of negation in logic programming
Called function identification of IoT devices by network traffic analysis
Condition-based synchronization in data-centric concurrency control
Discovering influential nodes from trust network
GIS, SINKS, FILL, and disappearing wetlands: unintended consequences in algorithm development and use
PEEPLL: privacy-enhanced event pseudonymisation with limited linkability
Editorial message: special track on bioinformatics
Runtime checking C programs
Some classes of finite state machines with polynomial length of distinguishing test cases
Organizational Modeling in UML and XML in the Context of Workflow Systems
A performance study of a token ring protocol
Special track on Web Technologies: editorial message
EmbedDB: A High-Performance Database for Resource-Constrained Embedded Systems Too Small for SQLite
Implementing a practical declarative logic-based model transformation engine
Editoral message: special track on coordination models, languages and applications
Cooperative neighborhood map in VANETs
Decoupled concurrency: a self-adaptive software architecture for programming multicores
Fully anisotropic morlet transform for the study of the trabecular bone texture variations
Towards a model-driven engineering approach for developing embedded hard real-time software
Vocabulary-based community detection and characterization
Lambda functions for C++0x
On-line scheduling of real-time services with profit and penalty
Centralized Packet Radio Network: A Communication Approach Suited for Data Collection in a Real-Time Flash Flood Prediction System
A Weighted Coding in a Genetic Algorithm for the Degree-Constrained Minimum Spanning Tree Problem
Towards a quality model for model composition effort
Exploring anomaly detection in systems of systems
Evaluating the conventional wisdom in clone removal: a genealogy-based empirical study
A verification methodology for computer systems users
Using a High Level Knowledge Representation for Expert Systems Knowledge Acquisition and Prototyping
SQUARE: scalable quorum-based atomic memory with local reconfiguration
Semantically enhanced user modeling
Semantic table-of-contents for efficient web screen reading
Fuzzy behaviour and relationships in a fuzzy OODB-model
On running data-intensive algorithms with intelligent SSD and host CPU: a collaborative approach
On three fuzzy connectives for flexible data retrieval and their axiomatization
Approximate planning and verification for large markov decision processes
P 3 ARSEC: towards parallel patterns benchmarking
Hierarchical multi-agent deep reinforcement learning to develop long-term coordination
Mobile platform support for remote music play
A News Article Tag Categorization Ontology
Encoding rectilinear Steiner trees as lists of edges
Using ontology-based methods for implementing role-based access control in cooperative systems
CEDCES: A Cost Effective Deadline Constrained Evolutionary Scheduler for Task Graphs in Multi-Cloud System
Supporting Compositional Reuse in Component-Based Web Engineering
TerraCost: a versatile and scalable approach to computing least-cost-path surfaces for massive grid-based terrains
On the relationship between roles and power: preliminary report
GAN or DM? In-depth Analysis and Evaluation of AI-generated Face Data for Generalizable Deepfake Detection
An Empirical Study of the Impact of Waterfall and Agile Methods on Numbers of Requirements-Related Defects
Towards a software tool for ultrasound guided robotic hip resurfacing surgery
A data reduction and organization approach for efficient image annotation
Events must be complete in event processing!
InMap: automated interactive code-to-architecture mapping
Virtual machine halt
Energy optimization of branch-aware data variable allocation on hybrid SRAM+NVM SPM for CPS
An efficient backup-recovery technique to process large data in distributed key-value store
Distributed algorithms for locating centers and medians in communication networks
Trust-decisions on the base of maximal information of recommended direct-trust
Automatic generation of a fuzzy classification system using fuzzy clustering methods
A probability analysis for candidate-based frequent itemset algorithms
Preservation of ordering in a network of brokers
A realization of a concurrent object-oriented programming
Bt-Join: a join operator for asymmetric storage device
Change Point Detection in Evolving Graph using Martingale
Immunity-based intrusion detection system design, vulnerability analysis, and GENERTIA's genetic arms race
A robust and tractable contact model for dynamic robotic simulation
Energy consumption estimation of virtual machines
Accelerated robustness testing of state-based components using reverse execution
Morphogenetic constraint-satisfaction based approach for organizational engineering
Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem
Boosting locality in multi-version partial data replication
ACIDroid: a practical app cache integrity protection system on Android Runtime
Organizational engineering in public administration: the state of the art on eGovernment domain modeling
Towards an ontology for urban tourism
An approach to the MOGAS initialization problem using an algorithm based on path relinking
A similarity-based deep feature extraction method using divide and conquer for image classification
A mobile news reader that turns news consumption into a game: student research abstract
Location dependent query proxy
An ontological approach for simulating legal action in the Brazilian penal code
Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case
Efficient top-k retrieval for user preference queries
Building the functional performance model of a processor
An approach for supporting system-level test scenarios generation from textual use cases
Multi-site distributed database transactions utilizing deferred update
Learning reputation in an authorship network
Using regression learners to predict performance problems on software updates: a case study on elevators dispatching algorithms
Privacy-preserving smart grid traceability using blockchain over IoT connectivity
Practical use of static composition of refactoring operations
Acquisition of modulation pulses for a multi-robot system using genetic algorithm
Leveraging BRSKI to Protect the Hardware Supply Chain of Operational Technology: Opportunities and Challenges
The Rephrased Reality: Analysing Sentiment Shifts in LLM-Rephrased Text
Why do successful search systems fail for some topics
CETAS: a cluster based energy and temperature efficient real-time scheduler for heterogeneous platforms
"Take me with you!": a case study of context-aware application integrating cyber and physical spaces
ERONTO: a tool for extracting ontologies from extended E/R diagrams
Effective shape-based retrieval and classification of mammograms
OR-PCA with dynamic feature selection for robust background subtraction
Application-Level Virtual Memory Management in Real-Time Multiprocessor Systems
A strategy for selecting multiple components
SQLProb: a proxy-based architecture towards preventing SQL injection attacks
A requirements refinement framework
Design and analysis of fractals in an individual computing environment
Mining web content outliers using structure oriented weighting techniques and N-grams
On the numerical solution to linear problems using stochastic arithmetic
Self and non-self discrimination agents
Imprecise RDQL: towards generic retrieval in ontologies using similarity joins
An object-oriented information model for a patient definition and management system
OSBS: online storm-water billing system
Reference modeling and method construction: a design science perspective
Incentivizing Crowdsensing in IoT through Micropayments: A Simulation Study
From UML diagrams to simulink models: a precise and verified translation
An extensible data-driven approach for evaluating the quality of microservice architectures
Measuring the compatibility of service interaction protocols
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains
Implementation of 2-4 finger trees in the hypercube architecture
Context addressing using context-aware flooding
Imputation-boosted collaborative filtering using machine learning classifiers
Accurate spear phishing campaign attribution and early detection
Nested trees for longitudinal classification
Embedding tree structures in massively parallel computers
Scheduling intense applications most 'surprising' first
False Sharing Problems in Cluster-Based Disk Arrays
A parallel island model genetic algorithm for the multiprocessor scheduling problem
Fitness inheritance in genetic algorithms
A novel approach for interactive debugging of dynamic dataflow embedded applications
First experiences on constraining consistency and adaptivity of W2000 models
How social distance of process designers affects the process of process modeling: insights from a controlled experiment
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993
Runtime observable and adaptable UML state machines: models@run.time approach
HotDataTrap: a sampling-based hot data identification scheme for flash memory
Understanding meta-communication in an inclusive scenario
Energy disaggregation meets heating control
A dynamic locality optimization algorithm for linear algebra codes
A recommendation system for browsing digital libraries
Stability vs. Optimality Tradeoff in Game Theoretic Mechanisms for QoS Provision
Towards Efficient Mobility Management in 5G-Advanced: A Predictive Model for Network Slice Availability
MUTUAL: Multi-Domain Sentiment Classification via Uncertainty Sampling
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms
GPU accelerated AES-CBC for database applications
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring
Proceedings of the 1999 ACM Symposium on Applied Computing, SAC'99, San Antonio, Texas, USA, February 28 - March 2, 1999
Simulation of period-doubling behavior in distributed learning automata
Mining Confident Colocation Rules without A Support Threshold
An Attention-based Dual Stream Network for Efficient Electricity Price Forecasting
Visualization of rule-based programming
LEMP: Lightweight Efficient Multicast Protocol for video on demand
OSI Group Communication Support for a Date Planning Application
SeRViSO: a selective retransmission scheme for video streaming in overlay networks
Patient scheduling under uncertainty
Morphing of image represented objects using a physical methodology
Resource-centric process mining: clustering using local process models
Deriving components from genericity
Extending N-grid group authorization using compact encoding
Partition refinement for bisimilarity in CCP
3D cloud detection and tracking for solar forecast using multiple sky imagers
Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning
Applying genetic algorithms to optimize the power in tiled SNUCA chip multicore architectures
Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment
Evolving collective behaviours in simulated kilobots
Performance of the hyper-ring multicomputer
Programs from proofs of predicated dataflow analyses
Research of the interest packet popple broadcast diffusion attack in NDN VANET
Transpose-xen: virtualized mixed-criticality through dynamic allocation
Analyzing Human Gait Patterns for Malfunction Detection
Reducing the subscription latency in reliable causal publish-subscribe systems
DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods
Biomedical concept extraction based on combining the content-based and word order similarities
Bootstrapped learning for car detection in planar lidars
Trajectory retrieval with latent semantic analysis
A coordination model for the semantic web
Computational approach to biological validation of protein-protein interactions discovered using literature mining
Content placement in heterogeneous end-to-end virtual networks
Development and Analysis of a Wide Area Multimedia Information System
Exploiting partial decision trees for feature subset selection in e-mail categorization
Improving the performance of message parsers for embedded systems
Exploiting types for improved schema mapping
Exploiting the efficiency of generational algorithms for hardware-supported real-time garbage collection
Fluid: supporting a transportable and adaptive web service
SAILS: static analysis of information leakage with sample
Hierarchical Fuzzy Configuration of Implementation Strategies
Using roles and business objects to model and understand business processes
The use of prototypes as a tool in Agile software development
F2VAE: a framework for mitigating user unfairness in recommendation systems
Measuring login webpage security
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications
An ML Model for Mental Health Monitoring using Facial Emotion Detection and Analyzing Social Media Posts
TCM-KNN scheme for network anomaly detection using feature-based optimizations
Software security vulnerability testing in hostile environments
Learning to be efficient: algorithms for training low-latency, low-compute deep spiking neural networks
Optimization of the Product Configuration System of Renault
On contracting different behavioral properties in component-based systems
Recovering 3D Image Parameters from Corresponding Two 2D Images
Web-based authoring of multimedia intervention programs for mobile devices: a case study on elderly digital literacy
A weight-coded genetic algorithm for the minimum weight triangulation problem
Reporting leadership patterns among trajectories
Scalable analysis of collective behaviour in smart service systems
On-device anomaly detection for resource-limited systems
Layout cross-browser incompatibility detection using machine learning and DOM segmentation
KAT: A Knowledge Acquisition Tool for Acquiring Functional Knowledge Based Upon the No-Causality-In-Functional Principle
Multidimensional analysis of hot events from social media sources
Design and implementation of component-based adaptive Web presentations
A fast and effective method to detect multiple least significant bits steganography
Agent-based design of distributed hypertext
Student Research Abstract: SplitChain: Blockchain with fully decentralized dynamic sharding resilient to fast adaptive adversaries
A reconstruction of default conditionals within epistemic logic
A DSL for executable 'how to' manuals
Security Implications of Deepfakes in Face Authentication
iPrevention : towards a novel real-time smartphone-based fall prevention system
Two-phase clustering strategy for gene expression data sets
Towards the induction of terminological decision trees
Open source vs. closed source software: towards measuring security
Differences in performance, scalability, and cost of using microservice and monolithic architecture
Improving I/O performance of NVMe SSD on virtual machines
Feature selection for ordinal regression
Segmentation technique for detecting suspect masses in dense breast digitized images as a tool for mammography CAD schemes
A 2-phase frame-based knowledge extraction framework
An enhanced features extractor for a portfolio of constraint solvers
The recursive transpose-connected cycles (RTCC) interconnection network for multiprocessors
ElastiQuant: elastic quantization strategy for communication efficient distributed machine learning in IoT
A spatio-temporal exposure correction neural network for autonomous vehicle
A novel approach for test suite reduction based on requirement relation contraction
A multi-DAG model for real-time parallel applications with conditional execution
Computational analysis of microwave heating patterns in resonant multimode cavities
Permanent object storage and collections for object-oriented systems with rules
TRAnD: Temporal Requirement Analysis and Design Tool
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach
Automated analysis of RBAC policies with temporal constraints and static role hierarchies
AB=ᗺA: execution equivalence as a new type of testing oracle
Dynamic virtual arc consistency
An evaluation study of protocols used in cable TV networks
Sensor streams middleware for easy configuration and processing in hybrid sensor network
How do developers deal with security issue reports on GitHub?
Deep-Learning based Trust Management with Self-Adaptation in the Internet of Behavior
A Decentralized Strategy for Unweighted Minimum Vertex Cover
Supporting dynamic update and resource protection in an embedded operating system
A method for them embedding of arbitrary communication topologies into configurable parallel computers
Visualization of clustered directed acyclic graphs with node interleaving
A predictive approach for enhancing resource utilization in PaaS clouds
Intelligent file management in ubiquitous environments
Secure container orchestration in the cloud: policies and implementation
Hiphop.js: a language to orchestrate web applications
A tree generating algorithm for designing optimal hierarchical distributed systems
The synergy of precise and fast abstractions for program verification
Managing data quality in a terabyte-scale sensor archive
Entropy and information measures in combinatorial optimization
Concept for providing guaranteed service level over an array of unguaranteed commodity connections
Framework composition conformance via refinement checking
A method for assessing the reusability of object-oriented code using a validated set of automated measurements
Performance and extension of user space file systems
OntolAD: a formal ontology for architectural descriptions
Query strategies on polyglot persistence in microservices
Development of an Information Visualization Tool Using Virtual Reality
Stylus knife: improving cutting skill in paper-cutting by implementing pressure control
Profile Assisted Register Allocation
Fuzzy inclusion in database and information retrieval query interpretation
Analysis of dynamic movement-based location update scheme
Special track on Enterprise Information Systems: editorial message
Dealing with anonymity in wireless sensor networks
Revisiting Technical Debt Types and Indicators for Software Systems
Smart home platform supporting decentralized adaptive automation control
A Novel Traffic Flow Prediction Model based on a Direct Spatio-Temporal Graph
Modeling cardinal directions in the 3D space with the objects interaction cube matrix
NDNet: natural deformation of apparel for better virtual try-on experience
On verifying game designs and playing strategies using reinforcement learning
Design pattern detection by template matching
Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios
Prediction of abnormal temporal behavior in real-time systems
MetaSelf: an architecture and a development method for dependable self-* systems
Product-based business processes interoperability
Dynamic associativity enabled DNUCA to improve block localisation in tiled CMPs
Using the structure of documents to improve the discovery of unexpected information
A dynamic task scheduling method for multiprocessor system
ARTAS: automatic research trend analysis system for information security
A control theory based framework for dynamic adaptable systems
Facial emotion recognition by adaptive processing of tree structures
Similarity management of 'cloned and owned' variants
SAE2: advances on the social adaptive ensemble classifier for data streams
Uncovering data-flow anomalies in BPMN-based process-driven applications
Topological mapping: a dimensionality reduction method for efficient video search
Supporting heterogeneous data import for data visualization
Identification of data propagation paths for efficient dynamic information flow tracking
CARET model checking for pushdown systems
Improving matching performance of DPI traffic classifier
Toward a visual pedometer
Modeling a Conversational Agent using BDI Framework
SRCMIMM: managing requirements change activities in global software development: student research abstract
Topology-based group routing in partially known environments
Distributed Key Generation with Smart Contracts using zk-SNARKs
A multimodal interaction component for digital television
Runtime detection of business process compliance violations: an approach based on anti patterns
Accessing and aggregating legacy data sources for healthcare research, delivery and training
SOM - Feature Extraction from Patient Discharge Summaries
Static type inference for Ruby
PAD-BASED expert system in small computer
Authenticated and auditable data sharing via smart contract
Scheduling distributable real-time threads in the presence of crash failures and message losses
Fighting evil is not enough when refactoring metamodels: promoting the good also matters
Error analysis and topology modifications of a self-organizing incremental neural network
Enterprise architecture: business and IT alignment
On the use of sequence mining within spectrum based fault localisation
Utilizing textual reviews in latent factor models for recommender systems
Modeling and integrating aspects with UML activity diagrams
Preventing server-side request forgery attacks
MFS-Map: efficient context and content combination to annotate images
Detecting Co-change Using Categorized Commit Data
"Tuning" an ASM metric: a case study in metric ASM optimization
Object injection vulnerability discovery based on latent semantic indexing
Predicting disease genes for complex diseases using random watcher-walker
A Comparison of the Effects of Model Adaptation Techniques on Large Language Models for Non-Linguistic and Linguistic Tasks
Fuzzy routing control of service request messages in an individual computing environment
Using Dijkstra's algorithm to incrementally find the k-Nearest Neighbors in spatial network databases
Monitoring service level workload and adapting highly available applications
Tuple spaces for self-coordination of web services
Real-time shallow water image retrieval and enhancement for low-cost unmanned underwater vehicle using Raspberry Pi
A domain independent semantic measure for keyword sense disambiguation
Joint sentiment aspect model
On a trunk group with a finite waiting room
Mining micro-influencers from social media posts
Synchronization operator for communication privacy
A Multi-layered Collaborative Framework for Evidence-driven Data Requirements Engineering for Machine Learning-based Safety-critical Systems
Towards a maturity model for corporate data quality management
Wireless spatio-semantic transactions on multimedia datasets
Flash memory management based on predicted data expiry-time in embedded real-time systems
Box-set consistency for interval-based constraint problems
Safety of quantified ABoxes w.r.t. singleton ε L policies
Continuous spatial queries via wireless data broadcast
A new approach for gene prediction using comparative sequence analysis
Scalability of an MPI-based fast messy genetic algorithm
Towards better social integration through mobile web 2.0 ambient assisted living devices
JAAF+T: a framework to implement self-adaptive agents that apply self-test
Automatic extraction of informative blocks from webpages
Using passage-based language model for opinion detection in blogs
An epistemic logic for modeling decisions in the context of incomplete knowledge
Using XML and related standards to support Location Based Services
NFR4SUSTAIN: Catalog of Requirements for Software Sustainability
Collective memory search
Developing event-condition-action rules in real-time active database