yusuke1997/dblp-id-title huggingface dataset:
The role of NFRs when transforming i* requirements models into OO-method models
A novel watermarking method for Java programs
Disciplined structured communications with consistent runtime adaptation
MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning
Global and local testing from Message Sequence Charts
Integrating educational repositories to improve the reuse of learning objects
A Probabilistic Model for Natural Language Understanding
A Schema-less Spatio-Temporal Database System
A two-dimensional separation of concerns for compiler construction
Assessing the Real-World Impact of Disagreement Between Human Graders and LLMs
Concurrency control for distributed cooperative engineering applications
A transfer learning paradigm for spatial networks
Stream mining of frequent sets with limited memory
Formal verification of energy and timed requirements for a cooperative automotive system
Reactivity on the web: paradigms and applications of the language XChange
Composable memory transactions with eager version management
Fast consensus for fully distributed multi-agent task allocation
Efficient first-class generics on stock Java virtual machines
Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address - abstract)
Formalizing the notion of adaptive system behavior
Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety
Redundant dataflow applications on clustered manycore architectures
Agent-based simulation of electronic marketplaces with decision support
A systematic review on the use of DevOps in internet of things software systems
An agent-based architecture for supporting the workgroups creation and the detection of out-of-context conversation on problem-based learning in virtual learning environments
Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems
Class-Dependent Assignment in cluster-based servers
GoAAL: an ontology for goal-oriented development of AAL environments
Time optimal reachability analysis using swarm verification
Distributed collaborative filtering for peer-to-peer file sharing systems
Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs
TNS: mining top-k non-redundant sequential rules
Embedded Systems Track Editorial
Runtime enforcement for component-based systems
Constructing Reusable Specifications Through Analogy
An experimental evaluation of a de-biasing intervention for professional software developers
A toolchain for model-based development of a robot application: student research abstract
Using an object oriented model for resolving representational differences between heterogeneous systems
Active learning in multi-domain collaborative filtering recommender systems
Exploiting assumption-based verification for the adaptation of service-based applications
Leveraging emoji to improve sentiment classification of tweets
Automated conversion from requirements documentation to an object-oriented formal specification language
TextCSN: a semi-supervised approach for text clustering using pairwise constraints and convolutional siamese network
Trasformers-by-example: pushing reuse in conceptual web application modelling
A computationally efficient multi-modal classification approach of disaster-related Twitter images
UML state machine diagram driven runtime verification of Java programs for message interaction consistency
A Dynamic Load Distribution Strategy for Systems Under High Task Variation and Heavy Traffic
MICHO: a scalable constraint-based algorithm for learning Bayesian networks
Exploiting Omega Network and Inexact Accumulative Parallel Counter to Enhance Energy Efficiency in Stochastic Computing
Discovering weighted motifs in gene co-expression networks
Reusable distributed "data environments"
Gene Functional Classification by Semisupervised Learning from Heterogeneous Data
A model transformation approach to constructing agent-oriented design models for CPS/IoT systems
A software architecture for distributed control systems and its transition system semantics
MDSD light for ERP
Adaptive testing of software components
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
Supporting thousands of threads using a hybrid stack sharing scheme
CNL4DSA: a controlled natural language for data sharing agreements
Adaptive linkage crossover
Copying values v.s. references for memory page compaction in virtualized systems
The interplay of a conversational ontology and AI planning for health dialogue management
Performance Prediction of Wormhole Switching in Hypercubes with Bursty Traffic Pattern
Constroid: data-centric access control for android
Environmental service discovery based on semantically annotated OGC service descriptions
On computing with types
Editorial message: special track on virtual reality, digital media, and computer games
An assessment of data matrix barcode recognition under scaling, rotation and cylindrical warping
Industrial Applications of Fuzzy Systems
Location based routing using smartphones in an infrastructureless environment
A relatedness-based data-driven approach to determination of interestingness of association rules
Multidimensional querying in wireless ad hoc networks
From software defined network to network defined for software
An SOA approach for automating software product line adoption
Evolutionary reinforcement learning based search optimization: student research abstract
Engineering trust- and reputation-based security controls for future internet systems
A hardware peripheral for Java bytecodes translation acceleration
Multiobjective Evolutionary Algorithm Test Suites
Game vendors' influence on the monetary value of virtual goods
Views for Light-weight Web Ontologies
Preventing race condition attacks on file-systems
Towards coherent single-document summarization: an integer linear programming-based approach
Controller-aware memory coloring for multicore real-time systems
EABlock: a declarative entity alignment block for knowledge graph creation pipelines
Joint workload scheduling and BBU allocation in cloud-RAN for 5G networks
FlashBox: a system for logging non-deterministic events in deployed embedded systems
Reliability-aware striping with minimized performance overheads for flash-based storage devices
Identifying Chinese Handwriting Characteristics for Detecting Children with Autism
Towards open data discovery: a comparative study
An Object Oriented Application/Programmer Interface for Network Programming
A robust video watermarking algorithm in H.264/AVC compressed domain
A visual logic
On document representations for detection of biased news articles
Fitting standard software to non-standard organisations
The implications of disk-based RAID and virtualization for write-intensive services
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments
Improving the kicking accuracy in a soccer robot
An adaptive fuzzy threshold scheme for high performance shared-memory switches
Authenticity in a Reliable Protocol for Mobile Computing
Implementing a secure abstract machine
Design of a market-based mechanism for quality attribute tradeoff of services in the cloud
Crime scene classification
Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces
Declarative control of the future home environment
Human behavior analysis based on big data analytics in cyber-physical system: student research abstract
Integrating semantic reasoning in information loss-based transformation chain rankers
Syntactic and semantic validation of SPARQL queries
User's profile ontology-based semantic model for personalized hotel room recommendation in the web of things: student research abstract
OpenFlow rule placement in carrier networks for augmented reality applications
Considerations on developing mobile applications based on the Capuchin project
Where are your manners?: Sharing best community practices in the web 2.0
Mining constraints for monitoring systems of systems
A comparison of randomized and evolutionary approaches for optimizing base station site selection
BTS: a Byzantine fault-tolerant tuple space
Timeout-based adaptive consensus: improving performance through adaptation
RALL: routing-aware of path length, link quality and traffic load for wireless sensor networks
GENESIS: A Generalizable, Efficient, and Secure Intra-kernel Privilege Separation
Modeling I/O interference for data intensive distributed applications
Dynamically generating web application fragments from page templates
Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids
On the complexity of hierarchical associative memories
Towards cosimulating network and electrical systems for performance evaluation in smart grid
A methodology for fast PC hard disk state restoration
Auto-labeling of sensor data using social media messages: a case study for a smart city
msocket: multiple stack support for the berkeley socket API
Attaining soft real-time constraint and energy-efficiency in web servers
RFID data management for effective objects tracking
Testing as a service (TaaS): a systematic literature map
Consistent and decentralized orchestration of BPEL processes
Capturing and Indexing Computer-based Activities With Virtual Network Computing
A small extension to Java for class refinement
Special track on Geometric Constraints and Reasoning: editorial message
Declarative scheduling for active objects
BlOMIND-protein property prediction by property proximity profiles
Towards developing a trust-based security solution
UAV-assisted reactive routing for urban VANETs
Identifying topological predicates for vague spatial objects
GPGPU wide-area calculations for estimation of electromagnetic field human exposure levels
ST4SQL: a spatio-temporal query language dealing with granularities
Learning environment model at runtime for self-adaptive systems
Semantic mapping and K-means applied to hybrid SOM-based document organization system construction
Vehicle to vehicle communication using Zigbee protocol
Tracking Coherence-Related Contention Delays in Real-Time Multicore Systems
Towards a combinatorial approach for undiscounted MDPs: student research abstract
A workflow data distribution strategy for scalable workflow management systems
4DIS: a temporal framework for unifying meta-data and data evolution
Fully abstract trace semantics for low-level isolation mechanisms
Discovering Interesting Information in XML Data with Association Rules
A ZKP-based identification scheme for base nodes in wireless sensor networks
Type reconstruction for coercion polymorphism
Automatic verification of the TLS handshake protocol
EXONSCAN: EXON prediction with Signal detection and Coding region AligNment in homologous sequences
Examining the motivations of defection in large-scale open systems
ARRoW: automatic runtime reappraisal of weights for self-adaptation
User-media interaction with interactive TV
An aspect-oriented framework for operating system evolution
Modeling and verification method for an early evaluation of systems of systems interactions
To be or not to be real: fractal analysis of data streams from a regional climate change model
A case study on building COTS-based system using aspect-oriented programming
An extendible multidimensional array system for MOLAP
COSTA: A cost-driven solution for migrating applications in multi-cloud environments
Failure history data-based test case prioritization for effective regression test
Intelligent event processing for emergency medical assistance
Effort and accuracy analysis of choice strategies for electronic product catalogs
3DLBP and HAOG fusion for face recognition utilizing Kinect as a 3D scanner
Development of a collaborative environment applied to pediatric oncology
Cache Optimization in Scientific Computations
Taint analysis of arrays in Android applications
A new self-organizing map based algorithm for multi-label stream classification
Mobile computing within a distributed deductive database
Process performance management: illuminating design issues through a systematic problem analysis
Identifying properties of UML state machine diagrams that affect data and control dependence
Modeling of component-based adaptive distributed applications
Requirements engineering for COTS-based software systems
Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms
From IoT big data to IoT big services
An efficient hybrid SVDD/clustering approach for anomaly-based intrusion detection
Studying industry practices of accessibility requirements in agile development
Hiding user content interest while preserving P2P performance
Scaling topology pattern matching: a distributed approach
Supporting micro-services deployment in a safer way: a static analysis and automated rewriting approach
LiMe: linear methods for pseudo-relevance feedback
A Coordination Language for Collective Agent Based Systems: GroupLog
Hypervisor-based background encryption
Recovering runtime architecture models and managing their complexity using dynamic information and composite structures
Towards value disclosure analysis in modeling general databases
On the equivalence of pull-up transistor assignment in PLA folding and distribution graph
Automatic scalable parallel test case execution. introducing the münster distributed test case runner for Java (miDSTR)
Improving service time with a multicore aware middleware
Special track on model transformation (MT 2006)
Determining the location of buildings given a single picture, environment maps and inaccurate GPS coordinates
Graph-based verification of static program constraints
Just-in-time initialization of objects representing software processes
BigBatch: a document processing platform for clusters and grids
A graph based approach for functional urban areas delineation
BIRD: bio-inspired distributed interest forwarding in vehicular named-data networks
Method for fast compression of program codes for remote updates in embedded systems
Semantic information and sensor networks
Checking architectural compliance in component-based systems
BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions
Information retrieval from visual databases using multiple representations and multiple queries
CANTransfer: transfer learning based intrusion detection on a controller area network using convolutional LSTM network
A contingency view of organizational infrastructure requirements engineering
Instance-aware assemblies of services in pervasive computing
Case-based reasoning and knowledge-graph based metamodel for runtime adaptive architectural modeling
Bayesian Soft Actor-Critic: A Directed Acyclic Strategy Graph Based Deep Reinforcement Learning
Textual alignment in SPMD programs
:-) When you grade that: using e-mail and the network in programming courses
Towards an ontology for personalized hotel room recommendation: student research abstract
Performance implications of cache flushes for non-volatile memory file systems
A Tool for Internet-Oriented Knowledge Based Systems
An experimental comparison analysis of kernel-level memory allocators
Implementation of fast RSA key generation on smart cards
Evaluating the intrinsic dimension of evolving data streams
Estimating node similarity from co-citation in a spatial graph model
WWW-Based Cooperative Learning
Quorum-based consistency management among replicas in ad hoc networks with data update
Bioinformatics track
Digital energy metering for electrical system management
A low cost VSLAM prototype using webcams and a smartphone for outdoor application
Weaving models in conflict detection specifications
Topological inference through mobile devices
A new approach to control a population of mobile robots using genetic programming
Fuzzy signals in control loops
Towards chemical coordination for grids
Squirrel: architecture driven resource management
Feedback-driven points-to analysis
Utilizing Wikipedia knowledge in open directory project-based text classification
Cathedrals, libraries and bazaars
Personalized Graph Attention Network for Multivariate Time-series Change Analysis: A Case Study on Long-term Maternal Monitoring
Formal analysis of policy-based self-adaptive systems
A genetic algorithm for the minimum broadcast time problem using a global precedence vector
Flexible document-query matching based on a probabilistic content and structure score combination
A machine learning approach to semi-automating workflow staff assignment
Collaborative and multimedia interactive learning environment for engineering education
A C++ environment for dynamic unanticipated software evolution
Comparing keywords and taxonomies in the representation of users profiles in a content-based recommender system
Curriculum learning for safe mapless navigation
Simulating evolutionary agent communities with OOCSMP
The "look and feel" of an ebook: considerations in interface design
PrivateEx: privacy preserving exchange of crypto-assets on blockchain
Evaluating uncertain location-based spatial queries
L2GClust: local-to-global clustering of stream sources
Towards increasing web application productivity
RepAs: Iterative Refinement for Predicting Polyadenylation Site Usage
Dealing with incompatible presumptions of commit protocols in multidatabase systems
Understanding the properness of incorporating machine learning algorithms in safety-critical systems
Secure multi-execution in Android
A recommendation approach for digital TV systems based on multimodal features
Executable model composition: a multilevel approach
Classification of Twitter follow links based on the followers' intention
Dynamic instantiation-checking components
PoRt: Non-Interactive Continuous Availability Proof of Replicated Storage
VisCrimePredict: a system for crime trajectory prediction and visualisation from heterogeneous data sources
WAVE-CIA: a novel CIA approach based on call graph mining
Per-cluster allocation of relocation staff on electric vehicle sharing systems
Approximate indexing in road network databases
A model for mining outliers from complex data sets
Enhancing Cybersecurity in Internet of Vehicles: A Machine Learning Approach with Explainable AI for Real-Time Threat Detection
Spatio-temporal database support for legacy applications
Load-aware scheduling for heterogeneous multi-core systems
An intelligent video system for vehicle localization and tracking in police cars
An efficient dynamic load balancing algorithm for adaptive mesh refinement
Reliability analysis of mobile agent-based systems
Software-specific part-of-speech tagging: an experimental study on stack overflow
Enhanced lattice-based adaptive random testing
An exploratory experiment on privacy patterns: limitations and possibilities
A mesh update requirement for hierarchical adaptive meshes in mesh-based motion tracking
On the impact of entity linking in microblog real-time filtering
Polyhedra to the rescue of array interpolants
Deriving optimal deep learning models for image-based malware classification
A self-balancing striping scheme for NAND-flash storage systems
Automated semantic trajectory annotation with indoor point-of-interest visits in urban areas
A Kalman filter based approach to probabilistic gas distribution mapping
SnapshotSave: fast and low storage demand blockchain bootstrapping
Secure storage of user credentials and attributes in federation of clouds
An adaptive distance computation technique for image retrieval systems
A parallel algorithm for the extraction of structured motifs
Integrity guarantees over highly dynamic outsourced map data
Test intents: enhancing the semantics of requirements traceability links in test cases
Eliciting required characteristics for usable requirements engineering approaches
Cluster Rendering of Skewed Datasets via Visualization
The Calculation of Average Distance in Mesh Structures
A new algorithm for segmenting warped text-lines in document images
Cycle-bounded model checking of PLC software via dynamic large-block encoding
SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems
Duplicate detection in web shops using LSH to reduce the number of computations
Exact gaussian process regression with distributed computations
Cooperative place recognition in robotic swarms
Service consumption planning for efficient service migration in mobile edge computing environments
Malware detection based on mining API calls
Web service orchestration and verification using MSC and CP nets
Mobile delivery of news using hierarchical query-biased summaries
SMT-based consistency analysis of industrial systems requirements
Investigating technological risks and mitigation strategies in software projects
Learning locality maps from noisy geospatial labels
Comparing images with distance functions based on attribute interaction
RAGCol: RAG-Based Automatic Video Colorization Through Text Caption Generation and Knowledge Enrichment
Seamless access of home theater personal computers for mobile devices
Generalized graph pattern discovery in linked data with data properties and a domain ontology
Open-Vocabulary And Multitask Image Segmentation
Data producer catalogs for the web of things: a study on NoSQL solutions
Service interface: a new abstraction for implementing and composing protocols
Discovery and regeneration of hidden emails
Refining Urban Microscopic Traffic Simulations Accuracy Using a Customized Random Walk Model for Dynamic Stochastic Route Choice
Modeling organizational goals: analysis of current methods
Random forgery attacks against DTW-based online signature verification algorithm
Towards a reputation model applied to geosocial networks: a case study on crowd4city
Spectre without shared memory
XVM: XML Virtual Machine
Editorial message: special track on ubiquitous computing
Multi-store metadata-based supervised mobile app classification
Geographical information access for non-structured data
Distributing Collective Adaptation via Message Passing
Temporal join processing with hilbert curve space mapping
Metrics for targeting candidates for reuse: an experimental approach
Bulkloading and maintaining XML documents
Towards trusted execution of multi-modal continuous authentication schemes
Choreographing cyber-physical distributed control systems for the energy sector
Efficient query routing for information retrieval in semantic overlays
Dynamic attribute-based privacy-preserving genomic susceptibility testing
Multi-component similarity method for web product duplicate detection
Interoperability testing of a MANET routing protocol using a node self-similarity approach
Development of biologically interpretable multimodal deep learning model for cancer prognosis prediction
A knowledge based system for content-based retrieval of Scalable Vector Graphics documents
Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterization
Optimizing FTL mapping cache for random-write workloads using adaptive block partitioning
Concern-oriented business architecture engineering
Bootstrapping higher-order program transformers from interpreters
Using minimum description length for process mining
Extending RUP to develop fault tolerant software
Classification by Frequent Association Rules
Data-aware process mining: discovering decisions in processes using alignments
Composition of HCI evaluation methods for hybrid virtual environments
Evaluating HyperDisco as an infrastructure for digital libraries
MoRSE: Bridging the Gap in Cybersecurity Expertise with Retrieval Augmented Generation
Solving conditional and composite constraint satisfaction problems
Optimization of subsequence matching under time warping in time-series databases
Towards context-aware behaviour generation
Towards a knowledge graph-based approach for context-aware points-of-interest recommendations
Applications of context-aware computing in hospital work: examples and design principles
Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model