yusuke1997/dblp-id-title huggingface dataset:
Online identification of frequently executed acyclic paths by leveraging data stream algorithms
Adaptive data anonymization against information fusion based privacy attacks on enterprise data
BenchDW: a generic framework for biological data warehouse benchmarking
Broadcast Program Generation for Unordered Queries with Data Replication
Image Retrieval Using Flexible Image Subblocks
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP
Expanding Domain-Specific Lexicons by Term Categorization
Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract
An approach for building lexical-semantic resources based on heterogeneous information sources
On ground reducibility problem for word rewriting systems with variables
Flexible features: making feature modules more reusable
Aero-screen: blimp-based ubiquitous screen for novel digital signage and information visualization
Deceptive Skies: Leveraging GANs for Drone Sensor Data Falsification
Automatic Test Program Generation for Pipeline Processors
Integrity of electronic voting systems: fallacious use of cryptography
Locality-preserving L1-graph and its application in clustering
A reflective middleware architecture to support adaptive mobile applications
Path efficient level set estimation for mobile sensors
A general energy optimization model for wireless networks using configurable antennas
Using machine learning for handover optimization in vehicular fog computing
Managing security policies in a distributed environment using eXtensible markup language (XML)
GrCluster: a score function to model hierarchy in knowledge graph embeddings
Efficient page-cache encryption for smart devices with non-volatile main memory
A comparative evaluation of two user feedback techniques for requirements trace retrieval
An intelligent biological information management system
Matchmaking of IaaS cloud computing offers leveraging linked data
Bridging context and data warehouses through ontologies
Light-weight service-oriented grid application toolkit
Trust enhanced ubiquitous payment without too much privacy loss
Distributing Molecular Biology Information: Gopher, WAIS and the University of Houston Gene-Server
Experimenting with a real-size man-hill to optimize pedagogical paths
Predictive runtime enforcement
Network Integrated Supervisory Control for Power Systems Based on Distributed Objects
Efficient distribution of mapreduce jobs for maximizing profit on federated cloud
Post-partition reconciliation protocols for maintaining consistency
Angular measures for feature selection in text categorization
How to manage interactive dialogues of avatar agents by using 3D spatial information of virtual world
Repairing misclassifications in neural networks using limited data
An analysis of modeling flaws in HL7 and JAHIS
A design method for modular energy-aware software
BaaS (Bluetooth-as-a-sensor): conception, design and implementation on mobile platforms
AODV compatible routing with extensive use of cache information in ad-hoc networks
Towards an understanding of benefits and challenges in the use of design thinking in requirements engineering
Relation Modeling on Knowledge Graph for Interoperability in Recommender Systems
Energy-aware real-time scheduling in the linux kernel
Effective rule induction from labeled graphs
Solving sybil attacks using evolutionary game theory
Experimenting with system and Libc call interception attacks on ARM-based Linux kernel
A two-level approach for multi-robot coordinated exploration of unstructured environments
Resolving user identities over social networks through supervised learning and rich similarity features
High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case
Predicting coordinated group movements of sharks with limited observations using AUVs
Implementing interaction nets in MONSTR
Dynamic Backhaul Clustering for Enhanced Scalability in Cell-Free Massive MIMO Networks
FALCON: A multi-label graph-based dataset for fallacy classification in the COVID-19 infodemic
Algorithms for mountain peaks discovery: a comparison
Bayesian bot detection based on DNS traffic similarity
Entity-adaptation: a programming model for development of context-aware applications
The minimization of hardware size in reconfigurable embedded platforms
DAYS mobile: a location based data broadcast service for mobile users
Exploring multiple clusterings in attributed graphs
Gradient-based Counterfactual Generation for Sparse and Diverse Counterfactual Explanations
Organizational engineering in public administrations: a method for process-oriented egovernment projects
The user as social actor: a focus on systems development methodology enactment
Transforming expert system output into natural language in a process control environment
Automatic parallel code generation for tiled nested loops
Delay-based scheduling to enhance fairness in a virtual machine environment
Discovering global and local bursts in a stream of news
Topic-based indexing of federated datasets
Dynamic adaptation of CORBA component-based applications
An Adaptive Evolutionary Algorithm for the Satisfiability Problem
Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm
An investigation on the evolutionary nature of exception handling violations in software product lines
Porting a benchmark with a classic workload to blockchain: TPC-C on hyperledger fabric
A privacy preserving web recommender system
An optimization method of extreme learning machine for regression
Fuzzy neural network models for clustering
Distributed approximate mining of frequent patterns
Applying markup language resources in the specification of visual alphabets and visual sentences
Stigmergic optimization in dynamic binary landscapes
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
An improved approach for set-associative instruction cache partial analysis
Security Issues in Small Linux Networks
How to compute protein residue contacts more accurately?
Initialize-and-catch
Conceptual modeling of XML data
Topology preserving maps as aggregations for Graph Convolutional Neural Networks
The role of geographic knowledge in sub-city level geolocation
Design Guidelines for Coordination Components
Towards automated library migrations with error prone and refaster
Recovering uncertain mappings through structural validation and aggregation with the MoTo system
SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation
LIF: a method to infer disease-gene relationships using literature data and impact factor
Feeling lucky?: multi-armed bandits for ordering judgements in pooling-based evaluation
An adaptive regression tree for non-stationary data streams
A Hybrid of Neural Net and Branch and Bound Techniques for Seismic Horizon Tracking
A parallel index for semistructured data
Information requirements engineering for data warehouse systems
Online Learning from Capricious Data streams with Flexible Hoeffding Tree
Towards a model-driven join point model
Incorporating fuzziness in XML and mapping fuzzy relational data into fuzzy XML
SLC: a visual cohesion metric to predict the usability of graphical user interfaces
Designing interaction behaviour in service-oriented enterprise application integration
Automatic language identification of written texts
Hybrid (OpenMP and MPI) Parallelization of MFIX: A Multiphase CFD Code for Modeling Fluidized Beds
Carrying on the e-learning process with a workflow management engine
On the use of distributed joins for processing interlibrary loans
Method construction - a core approach to organizational engineering
Implications of the topological properties of Internet traffic on traffic engineering
Modeling video objects in 4DIS temporal database system
Analysis of client/server interactions in a reservation-based system
A Dynamic Data/Currency Protocol for Mobile Database Design and Reconfiguration
C++ style class support under FIG Forth
Analysis of checkpointing overhead in parallel state machine replication
Learners automated evaluation with the ODALA approach
Knowledge Acquisition and Retrieval Based on Conceptual Graphs
The Remote Processing Framework for Portable Computer Power Saving
Performance evaluation of medical imaging service
Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models
A sentence level probabilistic model for evolutionary theme pattern mining from news corpora
Qualitative and quantitative analysis with scheduling policies in model checking
Integrating objective & subjective coordination in multi-agent systems
SOM-based behavioral analysis for virtualized network functions
A case-based approach using phonological knowledge for identifying error patterns in children's speech
Partial order based non-preemptive communication scheduling towards real-time networks-on-chip
Computing point visibility on a terrain based on a nested horizon structure
CapaCon: access control mechanism for inter-device communications through TCP connections
Two dimensional maximal elements problem on a reconfigurable optical pipelined bus system
Ontology-based workflow pattern mining: application to bioinformatics expertise acquisition
Dynamic contract layers
Induction of compact decision trees for personalized recommendation
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints
Evaluating variability at the software architecture level: an overview
On Enhancing Data Integrity with Low-cost Retention-Refillable Programming Scheme
A combinatorial evolution strategy for dynamic channel assignment in cellular radio
Filtering XFD toward interoperability
Project centralization based on graph coloring
Towards skeleton biometric identification using the microsoft kinect sensor
Towards adaptation of named entity classification
Splitting approaches for context-aware recommendation: an empirical study
OOlong: an extensible concurrent object calculus
The impact of term selection in genre-aware focused crawling
Towards an enterprise ontology pattern language
Predicting RDF triples in incomplete knowledge bases with tensor factorization
GPU-based computation of distance functions on road networks with applications
Enabling Adaptation in Dynamic Manufacturing Environments with Decentralized Agent-Based Systems and Local Perception
King louie: reproducible availability benchmarking of cloud-hosted DBMS
Developing component based adaptive applications in mobile environments
Exploiting bibliographic web services with CiTeX
A nonintrusive approach for implementing single database, multitenant services from web applications
Exhaustive Branch Coverage with TreeFrog
Exploiting entity information for stream classification over a stream of reviews
Unsupervised learning techniques for an intrusion detection system
STONE: a stream-based DDoS defense framework
Fast time series classification under lucky time warping distance
Active learning approaches for learning regular expressions with genetic programming
Digital geometry image analysis for medical diagnosis
Anomaly detection algorithms in logs of process aware systems
Applying Genetic Algorithms in Database Partitioning
Multiprocessor schedulability analyser
Leaking data from enterprise networks using a compromised smartwatch device
k-RNN: k-relational nearest neighbour algorithm
MINI: a 3D mobile image browser with multi-dimensional datasets
Black-box inter-application traffic monitoring for adaptive container placement
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories
Self-sovereign identity on public blockchains and the GDPR
A quantitative approach for evaluating software maintenance services
Fine-grained annotations for pointcuts with a finer granularity
Diverse peer selection in collaborative web search
Tracking random finite objects using 3D-LIDAR in marine environments
Introducing safe unknown types in Java-like languages
On construction of a BioGrid platform for parallel bioinformatics applications
Lightweight Decentralized Neural Network-Based Strategies for Multi-Robot Patrolling
Weight-biased edge-crossover in evolutionary algorithms for wto graph problems
A service-oriented customizable Digital Library
Management guidelines for PC security
Time-varying, multivariate volume data reduction
CSP specification and verification of relay-based railway interlocking systems
Transformation approach from KAOS goal models to BPMN models using refinement patterns
Using a knowledge base to disambiguate personal name in web search results
Curtailing the cost of virtual machine migrations in cloud data centers: student research abstract
ConvRel: relationship conversion to XML nested structures
Flexible Data Storage for Mobile Computing
Buffered garbage collection for self-reflective customization
A Coarse-Grain Parallel Genetic Algorithm for Finding Ramsey Numbers
VistaClara: an interactive visualization for exploratory analysis of DNA microarrays
Enabling ontology-based document classification and management in ebXML registries
Leveraging the adoption of electronic identities and electronic-signature solutions in Europe
Probabilistic constraints for reliability problems
User preferences dynamics on evolving social networks - learning, modeling and prediction: student research abstract
An effective AP placement scheme for reliable wifi connection in industrial environment
A model checker for Bigraphs
Towards an approach for modeling and formalizing SOA design patterns with Event-B
Message delay analysis for CAN based networks
Splitting heuristics for disjunctive numerical constraints
A framework for static detection of privacy leaks in android applications
AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests
On the performance of TCP, UDP and DCCP over 802.11 g networks
Assessing the impact of refactoring activities on the JHotDraw project
Automatic flood detection in SentineI-2 images using deep convolutional neural networks
Locking fast
Towards a generic framework for automating extensive analysis of Android applications
A requirements elicitation framework and tool for sourcing business-IT aligned e-services
IT-security in self-organizing decentralized virtual power plants: student research abstract
Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups
An efficient and accurate lattice for pricing derivatives under a jump-diffusion process
Requirements engineering process improvement: a knowledge transfer experience
Virtual space learning: creating text-based learning environments
Hierarchical presentation of expansion terms
Core operational semantics of Proto
A multimedia recommender system based on enriched user profiles
Aspect based sentiment analysis in music: a case study with spotify
Designing a distributed AOP runtime composition model
Program understanding using ontologies and dynamic analysis
System support for mobile augmented reality services
Similarity search through one-dimensional embeddings
Implementation-level analysis of the JavaScript helios voting client
Preference-oriented QoS-based service discovery with dynamic trust and reputation management
SAARA: a simulated annealing algorithm for test pattern generation for digital circuits
Multi-document text summarization for competitor intelligence: a methodology based on topic identification and artificial bee colony optimization
Dance self-learning application and its dance pose evaluations
Template detection for large scale search engines
Representation learning for entity type ranking
A decade of applied computing
Enhancing design reusability by clustering specifications
Implementing a system on a shared memory parallel processor
Verifying opacity by abstract interpretation
VeriCCM: improving the syntax and semantics of requirements models
Domain Specific Meta Languages
g-tries: an efficient data structure for discovering network motifs
Optimal acquisition of input data for decision taking in business processes
Distributed data stream classification for wireless sensor networks
Constraint-logic object-oriented programming on the Java virtual machine
An efficient single-pass query evaluator for XML data streams
Breaking Symmetry for Knowledge Compilation
EcoVMbroker: energy-aware scheduling for multi-layer datacenters
Perfect phylogenetic networks with recombination
Modeling clicks using document popularity
Blinded-key signatures: securing private keys embedded in mobile agents
Similarity estimation module for OWSCIS
A unification-based adaptive parser
A generic traceability metamodel for enabling unified end-to-end traceability in software product lines
TUBE (Text-cUBE) for discovering documentary evidence of associations among entities
Class-constraint similarity queries
Type-based Termination Analysis for Parsing Expression Grammars
Mapping functional behavior onto architectural model in a model driven embedded system design
Secure mobile agent systems using Java: where are we heading?
Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
Exploring Candlesticks and Multi-Time Windows for Forecasting Stock-Index Movements
Implementing rigorous web services with process algebra: navigation plan for web services
Improving CRPD analysis for EDF scheduling: trading speed for precision
A fuzzy model-based optimal control strategy
Parallel programming with Coq: map and reduce skeletons on trees
A language-independent, open-vocabulary system based on HMMs for recognition of ultra low resolution words
Diversity-based selection pooling scheme in evolution strategies
Using process algebra to control the execution of business processes
Understanding how power influences business and requirements decisions in software ecosystems
Analysis of the SET e-commerce protocol using a true concurrency process algebra
A new distributed mutual exclusion algorithm for two groups
Service-oriented domain and business process modelling
Compatibility flooding: measuring interaction of services interfaces
On the Influence of the Representation Granularity in Heuristic Forma Recombination
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems
A framework for data mining and KDD
MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks
Toward replicated and asynchronous data streams for edge-cloud applications
Mastermind by Evolutionary Algorithms
Automatic Interpretation of Soccer Video for Highlights Extraction and Annotation
On the similarities between control based and behavior based visual servoing
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
A Machine Learning-Based Approach For Detecting Malicious PyPI Packages
Data sorting in flash memory
Hardening the security analysis of browser extensions
Integrating event logs into KDM repositories
Google play is not a long tail market: an empirical analysis of app adoption on the Google play app market
Preventing the diffusion of negative information based on local influence tree
Arithmetic algorithms for hereditarily binary natural numbers
Query reformulation for an XML-based data integration system
Mining functional associated patterns from biological network data
Deriving UML-based specifications of inter-component interactions from runtime tests
Towards Enforcing Structural OCL Constraints using Constraint Programming
Data logistics as a means of integration in healthcare applications
Real-time botnet detection using nonnegative tucker decomposition
Elevating CTR Prediction: Field Interaction, Global Context Integration, and High-Order Representations
Exploring an open, distributed multimedia framework to design and develop an adaptive middleware for interactive digital television systems
Supporting entailment constraints in the context of collaborative web applications
Semantic document engineering with WordNet and PageRank
Analyzing network privacy preserving methods: a perspective of social network characteristics
A relational approach to software metrics
Extending omniscient debugging to support aspect-oriented programming
Semi-automatic design of agent organisations
Where people and cars meet: social interactions to improve information sharing in large scale vehicular networks
Indexing a transaction-decision time database
Modelling organisational practice in user requirements
Collaborative development of feature models and evaluation of performance bounds
Exploiting Fuzzy Controllers for Adapting Messaging Systems
Teach++: A Cooperative Distance Learning and Teaching Environment
Controlling the focus and input events in multimedia applications
An intelligent blockchain application for emergency medical services
Student Research Abstract: Real-Time 3D Registration and Fusion with SRAM-based Analog In-Memory Computing
Evolutionary segmentation of yeast genome
Fair pattern discovery
On the relationship between circumscription and well-founded semantics of logic programs
Service sharing with trust in pervasive environment: now it's time to break the jinx
A formalization of multi-agent planning with explicit agent representation
A Lightweight, Message-Oriented Application Server for the WWW
The impact of user-browser interaction on web performance
CPS-SIM: configurable and accurate clock precision solid state drive simulator
Tool-Based Approach to Distributed Database Design: Includes Web-Based Forms Design for Access to Academic Affairs Data
Graphical program transformations for embedded systems
Ethereum Proof-of-Stake under Scrutiny
An OLAP system for network-constrained moving objects
Combinatorial subset difference public key broadcast encryption scheme for secure multicast
Specifying and implementing social Web services operation using commitments
Unveiling middle-level concepts through frequency trajectories and peaks analysis
A high-level and scalable approach for generating scale-free graphs using active objects
Extending noninterference properties to the timed world
WSCCT: a tool for WS-BPEL compositions conformance testing
Impact of web design features on irritation for E-commerce websites
Learning rules with negation for text categorization
Parallel Polygon Scan Conversion on Hypercube Multiprocessors
A visualization tool for evaluating access control policies in facebook-style social network systems
A software development kit to implement integration solutions
Predicting incorrect mappings: a data-driven approach applied to DBpedia
Improving the compensated Horner scheme with a fused multiply and add
A fuzzy system to detect and count parallel noised tracks
CEM: an Ontology for Crime Events in Newspaper Articles
The importance of geographic locality for online information diffusion
How bit-vector logic can help improve the verification of LTL specifications over infinite domains
A service-based context management framework for cross-enterprise collaboration
Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons
Evaluating peer-to-peer recommender systems that exploit spontaneous affinities
Wavelet density estimators over data streams
Failure management development for integrated automotive safety-critical software systems
Compressed Multi-Framed Signature Files: An Index Structure for Fast Information Retrieval
Verifiable anonymous vote submission
Requirements for preventing logic flaws in the authentication procedure of web applications
Workflow management versus case handling: results from a controlled software experiment
Catfish density estimation by aerial images analysis and deep learning
Can a Parser be Generated from Examples?
Hybrid ontology-based matchmaking for service discovery
Pathways for irony detection in tweets
Adapting the tf idf vector-space model to domain specific information retrieval
Do you feel lucky?: a large-scale analysis of risk-rewards trade-offs in cyber security
The effect of correlation coefficients on communities of recommenders
A flow-based optimization model for throughput-oriented relay node placement in wireless sensor networks
Using genetic algorithms to find suboptimal retrieval expert combinations