yusuke1997/dblp-id-title huggingface dataset:
Autoencoder-based Continual Outlier Correlation Detection for Real-Time Traffic Flow Prediction
Supporting ethnographic studies of ubiquitous computing in the medical grand round experience
Inverted file-based indexing for efficient multimedia information retrieval in metric spaces
Formal analysis of device authentication applications in ubiquitous computing
Fair sequential group recommendations
RAAD: Reinforced Adversarial Anomaly Detector
Network-based instance hardness measures for classification problems
Pattern-based retrieval in a fuzzy object oriented data base
Extending a hybrid tag-based recommender system with personalization
Innovative computational methods for transcriptomic data analysis
Understanding access restriction of variant parametric types and Java wildcards
Cascading attacks against smart grid using control command disaggregation and services
Analysis and experience with an Information System development methodology
An evolutionary triclustering approach to discover electricity consumption patterns in France
Disclosure risk measures for the sampling disclosure control method
Self-organization and computer security: a case study in adaptive coordination
An efficient implementation of RC4 cipher for encrypting multimedia files on mobile devices
Using constraint techniques for a safe and fast implementation of optimality-based reduction
Shader space navigator: a turbo for an intuitive and effective shading process
Navigating Cultural Diversity: Barriers and Benefits in Multicultural Agile Software Development Teams
Linguistico-Statistical Approach and Logics Applied in Documentary System
A model-driven workflow for distributed microservice development
FMCM: a efficient flash memory cache management scheme for energy-efficient disks
Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach
A scalable parallel Strassen's matrix multiplication algorithm for distributed-memory computers
Discovering unexpected information on the basis of popularity/unpopularity analysis of coordinate objects and their relationships
Integration of well posedness analysis in software engineering
Rescheduling and checkpointing as strategies to run synchronous parallel programs on P2P desktop grids
Goal modeling for collaborative groups of cyber-physical systems with GRL: reflections on applicability and limitations based on two studies conducted in industry
Towards historical R-trees
Task based visualization of 5D brain EIT data
lwFSCK: Light-weight Filesystem Check
Online learning with mobile sensor data for user recognition
Tracking continuous topological changes of complex moving regions
Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model
Data flow abstractions and adaptations through updatable process views
Formal verification of replication on a distributed data space architecture
Sorting genomes using almost-symmetric inversions
Scibase: An Object-Oriented Scientific Database for Cell Physiology Research
Design and implementation of a P2P Cloud system
Formal modelling and verification of a component model using coloured petri nets and model checking
A key-entity graph for clustering multichannel news: student research abstract
Applying agent technology to software process modeling and process-centered software engineering environment
Editorial message: special track on the programming languages and object technologies
Explicitly accommodating origin preference for inter-domain traffic engineering
Convolutional Method for Modeling Video Temporal Context Effectively in Transformer
Agent factory: generative migration of mobile agents in heterogeneous environments
Approximately optimal facet selection
No longer alone: finding common ground in collaborative virtual environments
Performance analysis of MPI-I/O primitives on a PC cluster
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options
General dominant relationship analysis based on partial order models
Virtualizing system and ordinary services in Windows-based OS-level virtual machines
Integrating gene ontology into discriminative powers of genes for feature selection in microarray data
A Lightweight and Accurate Localization Model for Anatomical Landmark in Medical Imaging Using Depth-Wise Separable Convolution
Mortality prediction using medical notes: student research abstract
Using genetic programming for the induction of novice procedural programming solution algorithms
Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture
Rich cloud-based web applications with CloudBrowser 2.0
Designing a multi-core hard real-time test bed for energy measurement experiments
VeriNeS: runtime verification of outsourced network services orchestration
Student research abstract: a privacy-preserving profile matching based authentication system for mobile health networks
Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise
The influence of trust cues on the trustworthiness of online reviews for recommendations
Time-aware visualization of document collections
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs
The next frontier: combining information gain and distance cost for decentralized multi-robot exploration
Intent-based networking platform: an automated approach for policy and configuration of next-generation networks
Group oriented trust-aware location recommendation for location-based social networks
Predictive indoor navigation using commercial smart-phones
A call admission control scheme using genetic algorithms
Prediction of permuted super-secondary structures in β-barrel proteins
Precise dynamic slicing using execution-summary
Modelling consumers decision-making process about excluding products as a result of mutual influence
Scheduling and caching strategies for broadcasting correlated data
Implementing Catalog Clearinghouses with XML and XSL
Extending workflow-management-systems by a dialogical component
A movement activity recognition pervasive system for patient monitoring in ambient assisted living
Towards software modularization from requirements
Evaluating Trustworthiness of Online News Publishers via Article Classification
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula
An Integrated Optimal Task Assignment Policy
RSSI-based localization of a wireless sensor node with a flying robot
JobSet: Synthetic Job Advertisements Dataset for Labour Market Intelligence
Update models for lying and misleading announcements
The security risks of power measurements in multicores
VCloud: adding interactiveness to word clouds for knowledge exploration in large unstructured texts
Vulnerability coverage for adequacy security testing
Software testing-resource allocation with operational profile
GeoSensor: semantifying change and event detection over big data
An innovative approach to intelligent information filtering
Sense-respond cloud mediator architecture for services evolution
An efficient implementation of parametric line and polygon clipping algorithm
A Transition-based Strategy for Object-oriented Software Testing
A heuristic algorithm for partition strategy in distributed query processing
mmapcopy: efficient memory footprint reduction using application knowledge
Towards a non-functional requirements discovery approach for persuasive systems
HMNews : a multimodal news data association framework
A scalable multiagent approach for channel assignment in wireless networks
Memory issues in frequent itemset mining
Investigating the use of summarisation for interactive XML retrieval
ORCAS: optimized robots configuration and scheduling system
Quality Diversity Evolutionary Learning of Decision Trees
High throughput reliable message dissemination
GCplace: geo-cloud based correlation aware data replica placement
Mining product opinions with most frequent clusters of aspect terms
A Treecode Algorithm for Computing Ewald Summation of Dipolar Systems
Verifying CUDA programs using SMT-based context-bounded model checking
Proving functionally difficult problems through model generation
A Hybrid Method for Concurrent Updates on Disconnected Databases in Mobile Computing Environments
Towards a framework for relevant guidance
Checking the alignment of value-based business models and IT functionality
A data de-duplication access framework for solid state drives
Increasing the Reliability of Email Services
Analyzing crowdsourced promotion effects in online social networks
Using text search for personal photo collections with the MediAssist system
Utility-based multi-criteria recommender systems
Computing semantic relatedness using word frequency and layout information of Wikipedia
Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms
SEC: a search engine for component based software development
A bootstrapping method for extracting attribute names with keys from the web
Solving combinatorial optimization problems using parallel simulated annealing and parallel genetic algorithms
Reducing last level cache pollution through OS-level software-controlled region-based partitioning
A dynamic frame slotted ALOHA anti-collision algorithm for the internet of things
An approach based on design practices to specify requirements in agile projects
Improve general contextual slim recommendation algorithms by factorizing contexts
Visual similarity analysis in loop closure through data dimensionality reduction via diffusion maps
Mining structured petri nets for the visualization of process behavior
Towards aircraft trajectory prediction using LSTM networks
On the relevance of value system structure for automated value-aligned decision-making
Take me to SSD: a hybrid block-selection method on HDFS based on storage type
Dynamic Sets and Their Application in VDM
Light stemming approaches for the French, Portuguese, German and Hungarian languages
Using fuzzy grammars for the evaluation of SGML-based documents
Rocovo: robust communal publication scheme
A data perturbation approach to sensitive classification rule hiding
Using surface effect measures to model parallel performance
Automatic software fault localization using generic program invariants
Load-based covert channels between Xen virtual machines
Towards evolution of strategic IT requirements
Computational adjustable autonomy for NASA Personal Satellite Assistants
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors
Matrix correlation distance for 2D image classification
Attack graph generation for microservice architecture
Prepared scan: efficient retrieval of structured data from HBase
A Dynamic Flexible Grouping over COBRA-based Network and its Application to Mobile Computing
Decomposing port automata
Towards privacy aware deep learning for embedded systems
Target-based database synchronization
Enhancing Android permission through usage control: a BYOD use-case
Location management of data items in mobile ad hoc networks
Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment
An end-to-end voting-system based on bitcoin
Identifying discourse mistakes in web debates: moderation in the DCC
An approach for indexing, storing and retrieving domain knowledge
Enabling wireless ad hoc edge systems with yggdrasil
Checking software component behavior using behavior protocols and spin
NDN goes deep: foreseeing the underwater named data networks
A tool for exploring networks of computer scientists as a graph
Eclectic CSP: A Language of Concurrent Processes
Random versus combinatorial effectiveness in software conformance testing: a case study
Using lattice of class and method dependence for change impact analysis of object oriented programs
Multiple Policy Approach for Efficient Resource Allocation in SDM-EONs
Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access
Software performance model-driven architecture
A proof-based approach to verifying reachability properties
Dynamic group communication in mobile peer-to-peer environments
UTL: A Unified Language for Requirements Templates
AutoIoT: a framework based on user-driven MDE for generating IoT applications
Towards Robust Facial Recognition: Gabor Filter-Based Feature Extraction for NIR-VIS Heterogeneous Face Recognition
Overwhelmed by negative emotions?: maybe you are being cyber-bullied!
The Evolution of the DARWIN System
Automatic determination and visualization of relationships among symptoms for building medical knowledge bases
Protecting sensitive patient data via query modification
On the Reliability of Time-Sensitive Network Infrastructures
Towards textualising analytic provenance for visual analytics using natural language generation
MobiSpatial : open source for mobile spatial interaction
Apprehensive QoS monitoring of Service choreographies
Precise shape analysis using field sensitivity
Deterministic and randomized algorithms for distributed on-line task assignment and load balancing without load status information
Spidermine: Low Overhead User-Level Prefetching
Implementing Java modeling language contracts with AspectJ
Editorial message: special track on standardisation in IT
A framework and analysis for cooperative search using UAV swarms
Investigation of hungarian mating schemes for genetic algorithms
An Integrated Framework for Formal Development of Open Distributed Systems
The least-dirty-first cache replacement policy for phase-change memory
Identifying surgical-mask speech using deep neural networks on low-level aggregation
Unification for completely commutative theories
A new inter-layer prediction scheme for spatial scalability with different frame rates
Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees
Student Research Abstract: A Hybrid Approach to Design Embedded Software Using JavaScript's Non-blocking Principle
Integrating IEEE 11073 and constrained application protocol for personal health devices
Enforcing agent communication laws by means of a reflective framework
Finding saddle points using stability boundaries
A hardware/software kernel for system on chip designs
Boosting the performance of computing systems through adaptive configuration tuning
Coordination in information systems based on an object-oriented framework
Learning state-variable relationships for improving POMCP performance
Web-based image matting
Policy-driven network simulation: a resilience case study
Dynamic context-aware business process: a rule-based approach supported by pattern identification
A tour on the TriGS active database system - architectue and implementation
Higher-order dataflow and its implementation on stock hardware
An object-oriented design and implementation of reusable graph objects with C++: a case study
Detection and Correction of Mutually Interfered Erroneous Characters in Japanese Texts
Solution Counts of Some Prominent Quantified Boolean Formulas Families
Data Mining for Preterm Birth Prediction
Synchronization Analysis for Decentralizing Composite Web Services
SESAM: searching supported by analysis of metadata
Representing dynamic pluggable software units
An architectural co-synthesis algorithm for energy-aware network-on-chip design
Cooperative Planning: Using the Web for Cooperation in Architectural Planning
BOLOS: BLAST & Ontology Linked-hOmologue Stars
An Adaptive Transmission Strategy for Tiled 360-Degree VR Videos in NOMA Systems
Analyzing emotion words to predict severity of software bugs: a case study of open source projects
Supporting Secure Coding for Erlang
Self-Manifestation of Composite Multimedia Objects to Satisfy Security Constraints
Graphical rule-based representation of signal-transduction networks
Relating function spaces to resourced function spaces
A controlled natural language interface for authoring access control policies
FTRMI: fault-tolerant transparent RMI
A comparison of performance of algorithms for polar decomposition on a multivector processor
IMPULSE: a design framework for multi-agent systems based on model transformation
On bounding energy consumption in dynamic, embedded real-time systems
GPU-aware distributed quantum simulation
Reconfigurable service-based architecture based on variability description
Requirements engineering for autonomous vehicles: a systematic literature review
Ransomware prevention using application authentication-based file access control
Eyelid measurements using digital video processing
Refining spectrum-based fault localization rankings
Minimum multiple characterization of biological data using partially defined boolean formulas
On improving ROCK-based clustering for categorical data: student research abstract
A lightweight framework for testing database applications
Enhancing network intrusion detection systems with interval methods
Enforcing entailment constraints in offline editing scenarios for real-time collaborative web documents
Paprika: Replica Placement for Multi-Region Edge Publish-Subscribe Systems
Incremental interactive mining of constrained association rules from biological annotation data with nominal features
A framework for performance evaluation and functional verification in stochastic process algebras
Analysis of VM migration scheduling as moving target defense against insider attacks
Fine-Grained Authorization in Microservice Architecture: A Decentralized Approach
Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning
Building a layered framework for the table abstraction
Secure publish and subscribe systems with efficient revocation
Multi-node communication in hyper-ring networks
Assessing end-to-end performance and security in cloud computing
Families of fuzzy implication operators within measure M1 and their pseudo-strict
Towards a ranking framework for software components
Extensible modules for JavaScript
Quality of requirements specifications: a preliminary overview of an automatic validation approach
BioChain: lexical chaining methods for biomedical text summarization
Towards energy-efficient storage servers
A secure multiparty computation privacy preserving OLAP framework over distributed XML data
A Technology Readiness Level for Blockchain
An efficient management scheme for large-scale flash-memory storage systems
Recommendations to improve user experience in second screen applications: a case study
SADHE: Secure Anomaly Detection for GPS Trajectory Based on Homomorphic Encryption
A two-party private string matching fuzzy vault scheme
An experiment specification language for goal-driven, automated performance evaluations
Using pictorial and object oriented programming for computer algebra
Molecular docking using genetic algorithms
Enhancing document structure analysis using visual analytics
Cookies on-the-move: managing cookies on a smart card
Optimizing existential queries in stratifiable deductive databases
An information theoretic histogram for single dimensional selectivity estimation
Emperor: Cheap Legal Secure Cryptography for the Web
Dominance and ranking issues applying interval techniques in pre-negotiations for services
Towards fine-grained and application-centric access control for wireless sensor networks
LFRP-search: multi-layer ranked visual faceted search: an approach to cope with complex search situations
A network independent broker for obtaining the position of nomadic users
On the issue of neighborhood in self-organizing maps
A framework to formally verify conformance of a software process to a software method
Context-aware feature-oriented modeling with an aspect extension of VDM
Schedulers for Rule-Based Constraint Programming
Quality and perceived usefulness of process models
SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types
An approach based on metrics for monitoring web accessibility in Brazilian municipalities web sites
Spatial contextual noise removal for post classification smoothing of remotely sensed images
Request for comments: conversation patterns in issue tracking systems of open-source projects
Interaction refinement in the design of business collaborations
Algorithms for Visibility Computation on Digital Terrain Models
Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures
Operational control of service processes: modularization as precondition
On the computation of polynomial representations of nilpotent Lie groups: a symbolic mathematical approach
Distributed IPv6 addressing technique for mobile ad-hoc networks
Message-passing and local heuristics as decimation strategies for satisfiability
Modelling activities in information systems using the coordination language MANIFOLD
Exploring planning and operations design space for EV charging stations
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training
Characterizing the impact of fact-checking on the COVID-19 misinformation combat
A reusable software adaptative fuzzy controller architecture
Partial coscheduling of virtual machines based on memory access patterns
Performance analysis of fuzzy proportional-derivative control systems
Adaptive information distribution for dynamic sets
Sector classification for crowd-based software requirements
ClusterVis: visualizing nodes attributes in multivariate graphs
A joint model for topic-sentiment modeling from text
Exploring OS-based full-system deterministic replay
An image processing approach using fuzzy topology
Deep metric learning for multi-labelled radiographs
Image4Assess: Automatic learning processes recognition using image processing
Coordinating interaction patterns
Fuzzy spatial map representation for mobile robot navigation
Evaluating techniques for method-exact energy measurements: towards a framework for platform-independent code-level energy measurements
An evidential approach in ensembles
A copula-based risk evaluation method (C-REM) in a corporate mobile banking context
Automated assembly of software components based on XML-coded instructions
Automatic multi-camera remix from single video
A new probabilistic generative model of parameter inference in biochemical networks
From spontaneous total order to uniform total order: different degrees of optimistic delivery
Context and location aware textual data input
Confirming the influence of educational background in pair-design knowledge through experiments
A Coordination Language for Mixed Task and and Data Parallel Programs
ACTRESS: domain-specific modeling of self-adaptive software architectures
On the verification of probabilistic I/O automata with unspecified rates
A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks
Iterative querying in web-based database applications
Business modeling for service engineering: a case study in the IT outsourcing domain
Transfer learning approach for detecting psychological distress in brexit tweets
Shifting score fusion: on exploiting shifting variation in iris recognition
Medoid-based data clustering with estimation of distribution algorithms
DriftGAN: Using historical data for Unsupervised Recurring Drift Detection
Towards a feature-rich data set for personalized access to long-tail content
A rough-genetic approach for classification of complex data
A dialogue on responsibility, moral agency, and IT systems
A framework for the intelligent delivery and user-adequate visualization of process information
Features of the Concurrent Programming Language Aldwych
Extending PASSI to model multi-agent systems product lines
Marshaling and unmarshaling models using the entity-relationship model
Extending business process management to determine efficient IT investments
Genetic algorithm based patching scheme for worm containment on social network
Communication delay in wormhole-routed torus networks
Fighting pollution dissemination in peer-to-peer networks