yusuke1997/dblp-id-title huggingface dataset:
An infinite-valued grounded labelling for abstract argumentation frameworks
Reusable subsystems: domain-based approach
Query optimizing on a decentralized web search engine
A cooperative mission development environment for crossplatform integration
Kernel-level ARINC 653 partitioning for Linux
Experimenting on virtual machines co-residency in the cloud: a comparative study of available test beds
Enhancement of workflow flexibility by composing activities at run-time
A Retrieval-Augmented Framework For Meeting Insight Extraction
Machine classification of melanoma and nevi from skin lesions
Computing generalizations of temporal εL concepts with next and global
A Class Library Management System for Object-Oriented Programming
Formalization of commitment-based agent interaction
An adaptive and Socially-Compliant Trust Management System for virtual communities
On-line aggregation of POIs from Google and Facebook
Reduction of communications in a MasPar computer using fuzzy logic concepts
Feature description based on center-symmetric local mapped patterns
Service farming: an ad-hoc and QoS-aware web service composition approach
Email Classification for Contact Centers
A fair scheduling scheme for a time-sensitive traffic over the dual-channel wireless network
Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation
A label ranking approach for selecting rankings of collaborative filtering algorithms
Formal Semantics for SA Style Data Flow Diagram Specification Languages
Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes
Real-time visual analytics for event data streams
An experience in using a tool for evaluating a large set of natural language requirements
Deepfake Speech Detection: A Spectrogram Analysis
Development of objective functions for soft computing in medical applications
A tool-supported approach for modular design of energy-aware software
Improving Anomaly Detection for Electric Vehicle Charging with Generative Adversarial Networks
Towards Interoperable Heterogeneous Information Systems: An Experiment Using the DIOM Approach
A pivot-based index structure for combination of feature vectors
Copy elimination on data dependence graphs
On unit task linear-nonlinear two-cluster scheduling problem
Security risks of porting C programs to webassembly
RePart: a reputation-based simulation tool for partnership formation
Generic Privacy Preserving Private Permissioned Blockchains
ICM-Wind: semantics-empowered fluid condition monitoring of wind turbines
Conceptual multidimensional data model based on object oriented metacube
Probabilistic embedding: experiments with tuple-based probabilistic languages
Belief selection through argumentation
The social network of Java classes
Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach
A practical solution for scripting language compilers
Performance of Deflection Routing in Toroidal Networks
Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS
Dynamic context adaptation in multimedia documents
Testing for mobile e-health interventions
Solving equations on words through boolean satisfiability
A Software-Defined Overlay Networking Middleware for a Simplified Deployment of Distributed Application at the Edge
Expert Systems for Economic/Business Forecasting
Foreground classification using active template in the scene context for visual surveillance
FI-MApp: a web application for managing FI-WARE environments in internet of things
UAV-VANET authentication for real-time highway surveillance
Predicting polarities of entity-centered documents without reading their contents
Student Research Abstract: A CSP-based approach to the generation of case studies for clinical guidelines
Tools for Visualizing Text Compression Algorithms
Conformance checking for BPMN-based process models
Improving automatic music genre classification with hybrid content-based feature vectors
An anomaly detection technique for business processes based on extended dynamic bayesian networks
Testing device drivers against hardware failures in real environments
Performance of advanced architectures
Stream Driven Query Processing in a Database
An algorithm for key-frame determination in digital video
A structural analysis of literary fictions with social network framework
Enhancing recursive graph querying on RDBMS with data clustering approaches
Defining coordination in multi-agent systems within an agent oriented software engineering methodology
Crozzle: an NP-complete problem
A dynamic constraint-based BMC strategy for generating counterexamples
Evolution of a haskell repository and its use of monads: an exploratory study of stackage
A comparative study of techniques to write customizable libraries
Spectral analysis and text processing over the computer science literature: patterns and discoveries
Incremental querying in the concurrent CLP language IFD-Constraint Pandora
A new local consistency for weighted CSP dedicated to long domains
A formal structured method for requirement specification construction
Satellite Imagery-Assisted Link-Budget Analysis Algorithm for Smart Grid Wireless Backhaul Network Planning
Flash-aware cluster allocation method based on filename extension for FAT file system
How to put users in control of their data in federated top-N recommendation with learning to rank
Aging and rejuvenating strategies for fading windows in multi-label classification on data streams
Multi-Heuristic List Scheduling Genetic Algorithms for Task Scheduling
A model to detect problems on scrum-based software development projects
An efficient algorithm for a sharp approximation of universally quantified inequalities
A deidealisation semantics for KAOS
A time-triggered message-based multi-core architecture for AUTOSAR: student research abstract
A constraint hierarchies approach to geometric constraints on sketches
Ray tracing and the simulation of boreal forest stand dynamics
Cryptocurrency world identification and public concerns detection via social media: student research abstract
Multi-objective load balancing in distributed computing environment: an evolutionary computing approach
Behavior control-based approach to influencing user's cybersecurity actions using mobile news app
An analysis of asset interoperability for I4.0 middleware
Automatic categorization of questions from Q&A sites
Understanding and improving Wikipedia article discussion spaces
Performance comparison of Flow Aware Networking (FAN) architectures under GridFTP traffic
Identifying authoritative researchers in digital libraries using external a priori knowledge
Rapid application configuration in Amazon cloud using configurable virtual appliances
XML search personalization strategies using query expansion, reranking and a search engine modification
Inter cloud capable dynamic resource management with model of behavior
Inferring user utility for query revision recommendation
A deep learning framework for identification of microRNA regulatory modules: student research abstract
Privacy preservation services: challenges and solutions
Automated test scenarios generation for an e-barter system
Improving the Performance of Lineage Tracing in Data Warehouse
GPUKV: an integrated framework with KVSSD and GPU through P2P communication support
Reducing cold starts during elastic scaling of containers in kubernetes
Using constraint logic programming for model-based diagnosis: the MODIC system
Formal semantics and expressiveness of a web service composition language
Heterogeneous data fusion via matrix factorization for augmenting item, group and friend recommendations
Teaching intelligible speech to the autistic children by interactive computer games
A framework for modelling and implementing self-organising coordination
Providing resource allocation and performance isolation in a shared streaming-media hosting service
Evaluation of different feature sets in an OCR free method for word spotting in printed documents
Incremental concrete syntax for embedded languages
Evaluating Database Selection Algorithms for Distributed Search
K-mixed prototypes: a clustering algorithm for relational data with mixed attribute types
The design of an OCL query-based debugger for C++
LogSage: Log Summarization Assistant with Guided Enhancement
Towards designing a tool for event reconstruction using Gladyshev Approach
Towards a reference model management system for business engineering
Attribute implications in similarity-based databases: semantic entailment and nonredundant bases
Whom should I trust?: the impact of key figures on cold start recommendations
Deep learning traffic sign detection, recognition and augmentation
A Fuzzy Evolutionary Framework for Adaptive Agents
On the use of patterns to recover business processes
Revisiting continuous deployment maturity: a two-year perspective
An investigation into the development of service-oriented robotic systems
The effect of IMPORT change in software change history
Wrapping-oriented classification of web pages
A Representation Model for Procedural Program Maintenance
Mining preorder relation between knowledge units from text
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming
Adaptive resource management architecture for distributed real-time embedded systems
Designing architectures from problem descriptions by interactive model transformation
Greedy Heuristics and an Evolutionary Algorithm for the Bounded-Diameter Minimum Spanning Tree Problem
FOA-Energy: A Multi-objective Energy-Aware Scheduling Policy for Serverless-based Edge-Cloud Continuum
Conflict history based search for constraint satisfaction problem
(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq
A meta-process to construct software architectures for system of systems
FCA-based approach for mining contextualized folksonomy
P2E-WGAN: ECG waveform synthesis from PPG with conditional wasserstein generative adversarial networks
Toward a declarative language to generate explorable sets of models
Analyzing weighting schemes in collaborative filtering: cold start, post cold start and power users
Few-shot classification in named entity recognition task
Towards a (de)composable workflow architecture to define data collection policies
Automatic identification of client-side JavaScript libraries in web applications
Mixture-preference bayesian matrix factorization for implicit feedback datasets
A New Iterated Local Search Algorithm Using Genetic Crossover for the Traveling Salesman Problem
Facial image classification of mouse embryos for the animal model study of fetal alcohol syndrome
Non-intrusive policy optimization for dependable and adaptive service-oriented systems
Using model driven engineering to reliably accelerate early Low Power Intent Exploration for a system-on-chip design
The VAIDAK Medical Image Model Reconstruction Toolkit
Software security aspects of Java-based mobile phones
Approximate XML document matching
A model-based semi-quantitative approach for evaluating security of enterprise networks
Modeling fundamentals for smart grid enabled ecodistricts
Proving consistency of VDM models using HOL
Transformation templates: adding flexibility to model-driven engineering of user interfaces
Real time autonomous navigation and obstacle avoidance using a semi-global stereo method
An Efficient Method for Mining Associated Service Patterns in Mobile Web Environments
LOCCAM - loosely coupled context acquisition middleware
An efficient TDMA slot assignment protocol in mobile ad hoc networks
Application of fuzzy indexing and retrieval in case based reasoning for design
Programming and deployment of active objects with application-level scheduling
Information retrieval and spelling correction: an inquiry into lexical disambiguation
Engineering trustable choreography-based systems using blockchain
Communications in choreographies, revisited
Injection/withdrawal scheduling for natural gas storage facilities
A News Recommendation Framework Utilizing ChatGPT: Estimating Target Audience and News Categories
Escape analysis for synchronization removal
A Model for Studying Ambiguity in SGML Element Declarations
Feel the Wave: Using Waveguides as a Tactile Communication Interface for Deafblind People
An approximation algorithm for haplotype inference by maximum parsimony
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Reasoning and discovering novel treatments in linked social health records
Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval
A hybrid descriptor to improve kidney pathologies classification
MOVELETS: exploring relevant subtrajectories for robust trajectory classification
Student Research Abstract: Why and Where Software Developers are (not) using Project Data in Agile Retrospectives
An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks
Daily demand forecasting of new products utilizing diffusion models and genetic algorithms
Automatic knowledge acquisition in technical diagnosis
An overview of post information warfare data recovery
IoTA-MD: a model-driven approach for applying QoS attributes in the development of the IoT systems
Querying virtual videos using path and temporal expressions
Knowledge Synthesis using Large Language Models for a Computational Biology Workflow Ecosystem
Transactional agent model for fault-tolerant object systems
Policy based security architecture for software defined networks
Software Architecture Recovery from Multiple Dependency Models
From discussion to wisdom: web resource recommendation for hyperlinks in stack overflow
Design of a cellular automata cell with rule 30 on quantum-dot cellular automata
LS 3 : a Linear Semantic Scan Statistic technique for detecting anomalous windows
Securely deploying distributed computation systems on peer-to-peer networks
Generating test cases and procedures from use cases in dynamic software product lines
Authorship contribution dynamics on publication venues in computer science: an aggregated quality analysis
Predicting well-being with geo-referenced data collected from social media platforms
Undue influence: eliminating the impact of link plagiarism on web search rankings
Background knowledge in formal concept analysis: constraints via closure operators
A hybrid algorithm for recommendation twitter peers
A group-based security policy for wireless sensor networks
Memory-efficient content filtering hardware for high-speed intrusion detection systems
Adapting publish/subscribe middleware to achieve Gnutella-like functionality
The future of computers in education: learning 10 lessons from the past (abstract only)
A query processing method for data warehouses which contain multimedia
Primitives for the dynamic evolution of component-based applications
Forensic bite mark identification using image processing methods
The Performance of Sequential Deep Learning Models in Detecting Phishing Websites Using Contextual Features of URLs
Open Player Modeling - Using AI to help Reflection and Learning in Serious Games
Towards a MASC appliances-based educational paradigm
Implementation of fuzzy logic and neural networks control algorithm using a digital signal processing chip
Image contrast enhancement using fuzzy set theory
A lifecycle approach to SOA governance
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis
Contract-based verification of model transformations: a formally founded approach
Driver input selection for main-memory multi-way joins
Special Track on Coordination Models, Languages and Applications
Obfuscated PHP Webshell Detection Using the Webshell Tailored TextRank Algorithm
A computation environment for automated negotiation: a case study in electronic tourism
Information systems implementation: the big picture
Fast, lightweight IoT anomaly detection using feature pruning and PCA
Developing and evaluating web multimodal interfaces - a case study with usability principles
Cl_matcont: A Continuation Toolbox in Matlab
Simulation of a distributed recommendation system for pervasive networks
Automatic Code Generation for a Convection Scheme
Bluepoint: A Bluetooth-based Architecture for Location-Positioning Services
LayerFolding: discovering creative links in word association networks
Moral responsibility and IT for human enhancement
Multicriteria vehicle route-planning using parallel A * search
Classification pipeline for automatic identification of widgets and its parts
Improving flow-insensitive solutions for non-separable dataflow problems
A comparison in training time of the single and multiple-output MLP neural networks
Automatic recognition of design motifs using semantic conditions
Trust-based service provider selection in open environments
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020
Finding maximum independent sets in graphs arising from coding theory
Mobile Computing in Outdoor Environments (Extended Abstract)
The 'Dresden Image Database' for benchmarking digital image forensics
PacECG-Net: A Multi-modal Approach Integrating LLMs and ECG for LVSD Classification in Pacemaker Patients
Clustering malware-generated spam emails with a novel fuzzy string matching algorithm
Using mobile agents as roaming security guards to test and improve security of hosts and networks
DAM-AL: dilated attention mechanism with attention loss for 3D infant brain image segmentation
Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach
Editorial message: special track on mobile computing and applications
Separation of concerns in translational semantics for DSLs in model engineering
An automatic method for multiple sclerosis lesion detection in fluid attenuated inversion recovery magnetic resonance images
A systolic array architecture for multiplying Toeplitz matrices
Leveraging fuzzy query processing to support applications in wireless sensor networks
Scheduling algorithm considering response time for mixed tasks on multiprocessor systems
Accelerated exhaustive eye glints localization method for infrared video oculography
Symmetry reduced state classes for time petri nets
A requirements catalog for mobile learning environments
On the relation of causality- versus correlation-based feature selection on model fairness
Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips
Topological semantics for default conditional logic: preliminary report
A destination prediction method using driving contexts and trajectory for car navigation systems
Personalization and visualization on handheld devices
A don't care back propagation algorithm applied to satellite image recognition
Sampling strategies to create moving regions from real world observations
LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Combining clutter reduction methods for temporal network visualization
CADI: Contextual Anomaly Detection using an Isolation-Forest
RAB: Recomputation Aided Backup for Energy Efficient Non-volatile Processors
Register pressure responsive software pipelining
detectBiklio: detecting bicycle usage with a smartphone app
The people, the process or the technology?: Using the ACE framework to make tradeoffs in service delivery improvement
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals
Word2Vec based spelling correction method of Twitter message
Representing a bilingual lexicon with suffix trees
TickEth, a ticketing system built on ethereum
Parametric investigation of a distributed strategy for multiple agents systems applied to cooperative tasks
Can business process modeling bridge the gap between business and information systems?
ARCATS: a scalable compositional analysis tool suite
Comparisons of file formats for image transmission through networks
SoSAA: a framework for integrating components & agents
A reusable software catalog interface
Massive character recognition with a large ground-truthed database
Direct finite first-order model generation with negative constraint propagation heuristic
The Oklahoma advanced parallel processing research facility
Analysis of Upper Bound in Valiant's Model for Learning Bounded CNF Expressions
Design, implementation and evaluation of a novel anti-virus parasitic malware
Big data meets process mining: implementing the alpha algorithm with map-reduce
Towards the introduction of QoS information in a component model
What averages do not tell: predicting real life processes with sequential deep learning
Data-aware design and verification of service compositions with Reo and mCRL2
Using semi-lagrangian formulations with automatic code generation for environmental modeling
Mining key and referential constraints enforcement patterns
A specification language for the WIDE workflow model
Iterative learning to rank from explicit relevance feedback
Hardware implementation for network intrusion detection rules with regular expression support
More than the sum of its parts: designing learning formats from core components
Probabilistic context prediction using time-inferred multiple pattern networks
Efficient algorithms for mining recent weighted frequent itemsets in temporal transactional databases
Combining symbolic and numerical solvers to simplify indecomposable systems solving
MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability
Symbolic execution of UML-RT State Machines
Surework: a super-peer reputation framework for p2p networks
Design concepts as basis for organizing software catalogs
How bugs are fixed: exposing bug-fix patterns with edits and nesting levels
Off-line scheduling of a real-time system
Consolidating multiple requirement specifications through argumentation
Profile and context filtering of streaming data for a mobile personal assistant
Evolutionary computation and optimization track: SAC 2002
Distributed Tracing for Cascading Changes of Objects in the Kubernetes Control Plane
An Implementation of Hybrid Approach to Indexing Image Databases
Lightweight VANET authentication protocols
A performant scheme interpreter in asm.js
Towards a fast enterprise ontology based method for post merger integration
Discovering Process Models that Support Desired Behavior and Avoid Undesired Behavior
A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids
Comparing alternative goal model visualizations for decision making: an exploratory experiment
A vehicular waiting time heuristic for dynamic vehicle routing problem
Graph sampling methods for big complex networks integrating centrality, k-core, and spectral sparsification
Exploring The Effectiveness of Reading vs. Tutoring For Enhancing Code Comprehension For Novices
Estimating Instantaneous Vehicle Emissions
On scaling the enumeration of the preferred extensions of abstract argumentation frameworks
GenQA: automated addition of architectural quality attribute support for Java software?
Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016
Opinion retrieval in Twitter: is proximity effective?
To Approach an Intelligent System in Coping with an Aspect of Complexity of Water Management
Modeling the variability of architectural patterns
Expressive cardinality constraints on ALCSCC concepts
Survey on Trust in Software Engineering for Autonomous Dynamic Ecosystems
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Fault-containing network protocols
Design of a Linda kernal using causal multicast
Providing dependability for web services
A time-predictable branch predictor
Logic-based methodology to help security architects in eliciting high-level network security requirements
Optimising the Linda in Primitive: Understanding Tuple-Space Run-times
A heuristic approach for solving decentralized-POMDP: assessment on the pursuit problem