yusuke1997/dblp-id-title huggingface dataset:
My cloudy time machine: a scalable microservice-based platform for data processing in cloud-edge systems: a proof of concept for the ROBIN-cloud project
Edge scheduling framework for real-time and non real-time tasks
Modeling the alignment between business and IS/IT: a requirements engineering perspective
Special track on Document Engineering: editorial message
Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS
Learning activities on health care supported by common sense knowledge
Self-consistent simulation studying environment for the design of high-speed optical communication lines
Multi-agent system adaptation in a peer-to-peer scenario
FQUERY for Access: towards human consistent querying user interface
Mass edge detection in mammography based on plane fitting and dynamic programming
A QoS-oriented external scheduler
Determinacy and rewriting of conjunctive queries over unary database schemas
Pktpit: separating routing and packet transfer for fast and scalable software routers
Applying expert systems to health care management
Deep graph neural network for video-based facial pain expression assessment
Logic program based action specifications
Decentralized Bridge Between Polkadot and Cosmos
Log-based indexing to improve web site search
Coordinating HPF Programs to Mix Task and Data Parallelism
Energy efficiency management in computational grids through energy-aware scheduling
Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems
A descriptive clustering approach to the analysis of quantitative business-process deviances
CheReS: a deep learning-based multi-faceted system for similarity search of chest X-rays
Extracting refactoring trends from open-source software and a possible solution to the 'related refactoring' conundrum
PHOTOLAND: a new image layout system using spatio-temporal information in digital photos
A fuzzy approach to automatic data locality optimization
Search-logger analyzing exploratory search tasks
Student Research Abstract: Unsupervised Key Term Extraction of Tornado Narratives from NOAA Storm Events Database
Towards the establishment of supporting mechanisms for modeling and generating educational content
Editoral message: special track on computer security
Designing Metadata for the Use of Artificial Intelligence in Academia
Exploring OLAP aggregates with hierarchical visualization techniques
Media-oriented operators for authoring interactive multimedia documents generated from capture sessions
Handling heterogeneity in RosettaNet messages
Analyzing a Korean blogosphere: a social network analysis perspective
Chemical-inspired self-composition of competing services
Towards better manageability of database clusters on cloud computing platforms
SureSpace: orchestrating beacons and witnesses to certify device location
Poisoning attacks on cyber attack detectors for industrial control systems
A Verification Helper for Task Specifications
A sensor network-based multiple acoustic source localization algorithm
Haptic interaction objective evaluation in needle insertion task simulation
Concurrent typed intermediate language
Dividing patterns into deterministic regions
Architecture-driven requirements engineering
Parallel property checking with staged symbolic execution
Flexible self-healing gradients
You cannot improve what you do not measure: A triangulation study of software security metrics
A Methodology to Provide and Use Interchangeable Services
The architecture and design of a malleable object-oriented prolog engine
A domain-specific language for managing feature models
Runtime monitoring of web service choreographies using streaming XML
GB-MAC: a backbone based low latency protocol for WSNs
Text versus non-text distinction in online handwritten documents
Evaluating adaptive hypermedia authoring while teaching adaptive systems
Finding partitions of arguments with Dung's properties via SCSPs
Adaptive distributed data management with weak consistent replicated data
Using unlabeled data to handle domain-transfer problem of semantic detection
A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components
Energy management for interactive applications in mobile handheld systems
Modeling POMDPs for generating and simulating stock investment policies
Semantic news recommendation using wordnet and bing similarities
Root-cause analysis of performance anomalies in web-based applications
Privacy-friendly tasking and trading of energy in smart grids
Enhancing program verifications by restricting object types
Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism
An OWL-S based approach to express grid services coordination
Verification caching: towards efficient and secure mobile code execution environments
HYGAR: a hybrid genetic algorithm for software architecture recovery
User interface derivation from business processes: a model-driven approach for organizational engineering
Propagating dense systems of integer linear equations
Verifying BPMN understandability with novice business managers
SSCM: middleware for structure-based service collaboration
A negotiation protocol for batch task assignments in dynamic load distribution
Applying software product line engineering in building web portals for supercomputing services
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024
MSA: a memory-aware utility accrual scheduling algorithm
VisMod: A Beginner-Friendly Programming Environment
Spatial bloom filter in named data networking: a memory efficient solution
Towards a process factory for developing situational requirements engineering processes
Semi-join computation on distributed file systems using map-reduce-merge model
A back-end for GHC based on categorical multi-combinators
Boundary surface extraction and rendering for volume datasets
Automation and prioritization of replica balancing in HDFS
Tailoring Hybrid Software Processes in a Medium-size Software Company
W.A.R.P and FUZZYSTUDIO: an easy and fast way to implement, With low cost, fuzzy logic control systems
Concurrent file metadata structure using readers-writer lock
Privacy preserving distributed extremely randomized trees
New content-aware request distribution policies in web clusters providing multiple services
AI-Powered Comment Triage for Efficient Collaboration and Feedback Management
Don't hesitate to share!: a novel IoT data protection scheme based on BGN cryptosystem
Experiences with the Intel Hypercube
Algebraic aspects of fuzzy logic (invited talk)
Interprocedural exception analysis for Java
Support vector regression based sensor localization using UAV
Is ontology alignment like analogy?: knowledge integration with LISA
Batch-construction of B+-trees
BPMiner: mining developers' behavior patterns from screen-captured task videos
Petri nets and dynamic causality for service-oriented computations
Feedback management for scaling clients in streaming multicast
A framework for collaborative control of applications
Feasibility of container orchestration for adaptive performance isolation in multi-tenant SaaS applications
An automatic method for identification of cystine crystals in urine sediment
Source-side DoS attack detection with LSTM and seasonality embedding
Spark-based port and net scan detection
Three approaches to the coordination of multiagent systems
HMXT-GP: an information-theoretic approach to genetic programming that maintains diversity
Automatic keyphrase extraction using graph-based methods
Predicting software maintenance effort through evolutionary-based decision trees
Optimized Model Selection for Wind Farm Power Forecasting using Dynamic Time Warping
Digital Contents in Education Track Editorial
Programming assistance based on contracts and modular verification in the automation domain
Solar irradiance forecasting using multi-layer cloud tracking and numerical weather prediction
On dynamic tree growing in hypercubes
Efficient Dual Attention Transformer for Image Super-Resolution
A real-time people counter
Hierarchy-based Mining of Association Rules in Data Warehouses
Exploiting non-functional preferences in architectural adaptation for self-managed systems
ABBA: adaptive bicluster-based approach to impute missing values in binary matrices
Espresso: A Slicer Generator
PaaS dependability integration architecture based on cloud brokering
ElaScript: a DSL for coding elasticity in cloud computing
Privacy-preserving demographic filtering
Calibrating the performance and security of blockchains via information propagation delays: revisiting an old approach with a new perspective
Improving sentiment classification from high volatility financial news
ImageAlert: credibility analysis of text-image pairs on the web
Verification of web service descriptions using graph-based traversal algorithms
Combining statistics and semantics via ensemble model for document clustering
A methodology for estimating execution times of IO traces in SSDs: student research abstract
Abductive Coordination for Logic Agents
Look-ahead allocation in the presence of branches
Crucial components in probabilistic inference pipelines
Special track on Coordination Models, Languages and Architectures: editorial message
Explaining a neural attention model for aspect-based sentiment classification using diagnostic classification
A mechanism for automatic object locking in C++-based object-oriented databases
Access control method using electrocardiogram signal for fog computing security
Models and techniques for the visualization of labeled discrete objects
A model driven framework for modeling and composing service based Android applications
Adaptive link recovery scheme for structured peer-to-peer networks under churn
Infinite bar-joint frameworks
Field study on methods for elicitation of preferences using a mobile digital assistant for a dynamic tour guide
An algorithm for effective deletion and a new optimization technique for metric access methods
Torque optimization for a locomotive using fuzzy logic
Agents, Interactions, Mobility and Systems Track Editorial
Replica identification using genetic programming
Author identification using writer-dependent and writer-independent strategies
An effective and efficient green federated learning method for one-layer neural networks
SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022
Active contour on the basis of inertia
Which Challenges Do Exist With Agile Culture in Practice?
Graphs as a Language to Describe Learning System Concepts
File system framework for organizing sensor networks
Towards automatic extraction of epistemic items from scientific publications
Predicting change propagation impacts in collaborative business processes
Learning Visual Servoing for Nonholonomic Mobile Robots with Uncalibrated Cameras
Can complexity, coupling, and cohesion metrics be used as early indicators of vulnerabilities?
Classifying websites by industry sector: a study in feature design
Performance problem localization in self-healing, service-oriented systems using Bayesian networks
Editorial message for the special track on embedded systems: applications, solutions, and techniques
On the exploitation of process mining for security audits: the process discovery case
Migrating Monolithic Web Applications to Microservice Architectures Considering Dependencies on Databases and Views
CleanET: enabling timing validation for complex automotive systems
Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals
A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs
Evaluating the integration of datasets
Elastic Vertical Memory Management for Container-based Stateful Applications in Kubernetes
Supporting effective unexpected exceptions handling in workflow management systems
The visual authoring tool of flash-based component for interactive item template
Improving instruction supply efficiency in superscalar architectures using instruction trace buffers
A CLP(R) system for solving partial differential equations
Using a product line for creating component systems
Collective preferences in evolutionary multi-objective optimization: techniques and potential contributions of collective intelligence
Success factors in mobile social networking application development: case study of instagram
A Unified Security Framework for Networked Applications
Kernel-level time composability for avionics applications
A systematic mapping study on mining software repositories
Novel processor architecture for modified advanced routing in NGN
Our guest agents are welcome to your agent platforms
Collaborative requirements elicitation in a european research project
Core selection with end-to-end QoS support
A programming model and middleware for high throughput serverless computing applications
Summarizing observational client-side data to reveal web usage patterns
Design and Implementation of a Graphical Interface to Xquery
Improving the Quality of Public Transportation by Dynamically Adjusting the Bus Departure Time
Web service access management for integration with agent systems
UKTA: Unified Korean Text Analyzer
Part-of-speech tagging for web search queries using a large-scale web corpus
SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021
Towards organizational agent-oriented operating systems
Principles for reuse in formal language tools
Towards "WYDIWYS" for MIMI using concept analysis
Energy-demand estimation of embedded devices using deep artificial neural networks
A taxonomy for identifying a software component for uncertain and partial specifications
The next best question: a lazy, anytime framework for adaptive feature acquisition
Mechanical parallelisation of database applications
Oblivious outsourcing of garbled circuit generation
Music retrieval based on a multi-samples selection strategy for support vector machine active learning
Expressing global priorities by best-matching
Expanding the taxonomies of bibliographic archives with persistent long-term themes
Large scale processing of landsat data on various software platforms
G con : a graph-based technique for resolving ambiguity in query translation candidates
Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms
Claim vs. Capability: A Comparative Analysis of the SBOM Generation Tools for Rust Projects
Mobile App Quality Assessment: Leveraging LLM-Driven Data Augmentation for Enhanced User Reviews Analysis
Fog computing as the key for seamless connectivity handover in future vehicular networks
Computational advertising in social networks: an opinion mining-based approach
A code compression advisory tool for embedded processors
A Context-Based Navigation Paradigm for Accessing Web Data
Model sketching by abstraction refinement for lifted model checking
Multiple Choice Online Algorithms for Technology-Assisted Reviews
Application engineering of service-based software product lines
Incremental linear model trees on massive datasets: keep it simple, keep it fast
Encoding asynchrony in choreographies
A stochastic approach to candidate disease gene subnetwork extraction
DIP: a pattern-based approach for task and data parallelism integration
Parallel algorithms on geometric constraint solving
Reasoning by cases in structured argumentation
Long bone fracture type classification for limited number of CT data with deep learning
Exact top-k keyword search on graph databases
Mapillary Street Vegetation Scoring: End-to-End Process
Sec2vec: Anomaly Detection in HTTP Traffic and Malicious URLs
Lightweight DSL for Describing Extensible Transition Systems
A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs
High performance XSL-FO rendering for variable data printing
Verifying redundant-check based countermeasures: a case study
Coordinated execution of adaptation operations in distributed role-based software systems
Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous
Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood
Support to content-based image query in object-oriented databases
Towards scalable and dynamic data encryption for multi-tenant SaaS
Similarity measures for trajectory of moving objects in cellular space
A Software Framework for Efficient System-level Performance Evaluation of Embedded Systems
The fading concept in tuple-space systems
A security analysis of amazon's elastic compute cloud service
Swiss Cheese CAPTCHA: A Novel Multi-barrier Mechanism for Bot Detection
Conjugating polynomials on finite rings
Mining software development process variations
CAT: a context-aware trust model for open and dynamic systems
Feature-based distributed object search using signatures in Peer-to-Peer environments
External sorting for index construction of large semantic web databases
Process traceability in distributed manufacturing using blockchains
A space aware agent-based modeling process for the study of hierarchical complex systems
A framework for automatic generation of web-based data entry applications based on XML
Workload-aware table splitting for NoSQL
Pseudozero set of interval polynomials
An approximation algorithm for the shortest common supersequence problem: an experimental analysis
Evolutionary discovery of DFA size and structure
Modeling and verification of smart contracts with Abstract State Machines
Simulation of communications architecture specifications using Prolog
Topic activation analysis for document streams based on document arrival rate and relevance
The loop fallacy and serialization in tracing intrusion connections through stepping stones
Nonconformance between programs and contracts: a study on C#/code contracts open source systems
A new variable-length genome genetic algorithm for data clustering in semeiotics
A Domain-Specific Language for Augmented Reality Games
Preselection of documents for personalized recommendations of job postings based on word embeddings
Workshop on multimedia applications (abstract only)
Topology and robustness analysis of temporal air transport network
Dynamic instance queuing in process-aware information systems
Using Abstractions for Spatio-Temporal Conceptual Modeling
Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series
Using software product lines to manage model families in model-driven engineering
Modeling adaptation with a tuple-based coordination language
Lightweight approach for seamless modeling of process flows in case management models
Interoperability requirements for a smart city
CovaTM: a transaction model for cooperative applications
Assessing health misinformation in online content
Space-efficient page-level incremental checkpointing
CIIA: critical infrastructure impact assessment
An adaptive neuro-fuzzy inference system for improving data quality in disease registries
The versatility of color mapping
Extending an ontology-based search with a formalism for spatial reasoning
Threshold-based dynamic admission control algorithms for real-time multimedia servers
Cluster Characterization in Information Retrieval
Finding frequent itemsets by transaction mapping
A modeling approach for credit card fraud detection in electronic payment services
Building private blockchains over public blockchains (PoP): an attribute-based access control approach
HSP-HMMER: a tool for protein domain identification on a large scale
A two-level procedure based on genetic algorithms to optimize an aeronautical composite structure
SeismicSense: Phase Picking of Seismic Events with Embedded Machine Learning
A load-aware scheduler for MapReduce framework in heterogeneous cloud environments
Multi-stage seed selection for viral marketing
Hierarchical multi-label classification with chained neural networks
Reverse Engineering of Use Case Realizations in UML
Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links
TRiStar: an i * extension for teleo-reactive systems requirements specifications
M2P3: multimodal multi-pedestrian path prediction by self-driving cars with egocentric vision
Using Agentsheets to create a voice dialog design environment
Nudge: intermediaries' role in interdependent network security
Monitoring MPI programs for performance characterization and management control
Utilizing nearby computing resources for resource-limited mobile devices
Dirichlet process mixture models made scalable and effective by means of massive distribution
Microsoft Windows CE: a new handheld computing platform
An Adaptive Three-Dimensional DCT Compression Based on Motion Analysis
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications
Semantics for intelligent delivery of multimedia content
Parallel pattern recognition using fuzzy cooperative expert systems
A Hough-transform-based anomaly detector with an adaptive time interval
Grid resource discovery based on semantic P2P communities
ReLUSyn: Synthesizing stealthy attacks for deep neural network-based safety-critical cyber-physical systems: student research abstract
A machine-checked soundness proof for an efficient verification condition generator
Privacy preserving learning in negotiation
Reconstructing surfaces form sparse depth information
WiFi-enabled Occupancy Monitoring in Smart Buildings with a Self-Adaptive Mechanism
Unsupervised translated word sense disambiguation in constructing bilingual lexical database
Observation-based detection of femtocell attacks in wireless mobile networks
A Bayesian approach for protein classification
Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution
Access-Controlled Resource Discovery for Pervasive Networks
A framework for automatic annotation of web pages using the Google rich snippets vocabulary
An LQR-assisted control algorithm for an under-actuated in-pipe robot in water distribution systems
Design and evaluation of CATPA: curation and alignment tool for protein analysis
Semi-automatic parallelization of direct and inverse problems for geothermal simulation
Study on supporting technology for operational procedure design of IT systems in cloud-era datacenters
Designing network servers within a hierarchical scheduling framework
Featherweight wrap Java
When four-eyes become too much: a survey on the interplay of authorization constraints and workflow resilience
Top-N group recommendations with fairness
Embedded system for diagnosing dysfunctions in the lower urinary tract
FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas
Bounded gossip: a gossip protocol for large-scale datacenters
Verifiable outsourced database in the cloud using game theory
A graph-based blocking approach for entity matching using pre-trained contextual embedding models
POI types characterization based on geographic feature embeddings
Quad-Biometrics for Few-Shot User Identification
Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis
Efficient fault-tolerant routing algorithm for OTIS-cube using unsafety vectors
Solvability of Byzantine Fault-Tolerant Causal Ordering: Synchronous Systems Case
A graph-based profile similarity calculation method for collaborative information retrieval
An approximate framework for scaling social influence computation in large networks
Gelly-scheduling: distributed graph processing for service placement in community networks
Boosting the detection of modular community structure with genetic algorithms and local search
Automated recognition of event scenarios for digital forensics
On the elements of an enterprise: towards an ontology-based account
Constructing Web Search Queries from the User's Information Need Expressed in a Natural Language
Knapsack-based reverse influence maximization for target marketing in social networks
HypIR: A Hypertext-Based Approach to Information Retrieval