yusuke1997/dblp-id-title huggingface dataset:
Job Shop Scheduling with Buffer Constraints and Jobs Consuming Variable Buffer Space
A Framework for Analyzing Locality and Portability Issues in Parallel Computing
A Mesoscopic Approach to the Simulation of Logistics Systems
Reference Modeling of an IT-Based Logistics System
A Case for the PRAM As a Standard Programmer's Model
Hardware Support for Collective Communication Operations
Discrete Lot-Sizing and Scheduling Including Deterioration and Perishability Constraints
An Efficient Heuristic Algorithm for the Traveling Salesman Problem
Assessing the Effects of Assortment Complexity in Consumer Goods Supply Chains
Scalable Parallel Computers and Scalable Parallel Codes: From Theory to Practice
Programmable Active Memories: A Performance Assessment
Parallel Architectures and Their Efficient Use, First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992, Proceedings
Simulation of ITSM Processes as Training Tool Set
Maturity Progression Model for Sustainable Supply Chains
An Experimental Study of Wormhole Routing in Parallel Computers
An Autonomous Control Concept for Production Logistics
A Model for Quantifying Impacts of Supply Chain Cost and Working Capital on the Company Value
Three non Conventional Paradigms of Parallel Computation
Application of Operations Research Techniques to the Redesign of the Distribution Systems
A Concept for an Accurate and Closely Coordinated Production
The Role of Randomness in the Design of Interconnection Networks
Better Parallel Architectures via Emulations
A Realizable Efficient Parallel Architecture
Frontiers of Parallel Computing
Challenges for the Provision of Process Data for the Virtual Factory
Hashing Strategies for Simulating Shared Memory on Distributed Memory Machines
Cost Effectiveness of Data Flow Machines and Vector Processors
Simulation in Production and Logistics: Trends, Solutions and Applications
Integrated Production Program and Human Resource Allocation Planning of Sequenced Production Lines with Simulated Assessment
Methods for the Calculation of CO 2 Emissions in Logistics Activities
Humanitarian Cluster Leads as Fourth-Party Logistics Providers
Up-to-Date Supply Chain Management: The Coordinated (S, R) Order-Up-to
A p -Robust Capacitated Network Design Model with Facility Disruptions
Massively Parallel Computing: Data Distribution and Communication
Integrated Adaptive Design and Planning of Supply Networks
Developing and Maintaining Trust in Post-disaster Hastily Formed Networks
Chaos Router: Finally, a Practical Adaptive Router?
On Sorting by Prefix Reversals and the Diameter of Pancake Networks
A Combining Mechanism for Parallel Computers
Control of Disassembly Systems Based on the Division of Labour by Means of Dynamically Adapting Routing Plans
Towards Agile Business Processes Based on the Internet of Things
Simulation of Container Traffic Flows at a Metropolitan Seaport
Knowledge Oriented Implementation of Collaborative Supply Chain Management
Optimal Implementation of General Divide-and-Conquer on the Hypercube and Related Networks
Towards an Integrated Virtual Value Creation Chain in Sheet Metal Forming
Development of a Simulation Model for Multimodal, Cross-Company Logistics Networks
Combined Working Time Model Generation and Personnel Scheduling
Parallel Implementations of Graph Embeddings
Reinforcement Learning-Supported AB Testing of Business Process Improvements: An Industry Perspective
Unblocking Inductive Miner - While Preserving Desirable Properties
A Domain-Specific Modeling Method for Designing Conversational Agents for Coaching: A Case from Health Coaching
Technology for Automatic Usability Evaluation Using Model Driven Engineering
Mapping the Landscape: Exploring Large Language Model Applications in Business Process Management
Technology-Aware Enterprise Modeling: Challenging the Model-Driven Architecture Paradigm
Enterprise, Business-Process and Information Systems Modeling - 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings
A Metamodel for Applying Green BPM Approaches with the EU Taxonomy
A Method for Ontology-Driven Minimum Viable Platform Development
Enterprise, Business-Process and Information Systems Modeling - 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings
Using Enterprise Modeling to Analyze and Design a "Fit" Between Activities in an Enterprise
Process Variant Analysis Across Continuous Features: A Novel Framework
Interdependency-Aware Business Process Prioritization for Process Improvements
Experiences from Developing a Web Crawler Using a Model-Driven Development Tool: Emerging Opportunities
Predicting Unseen Process Behavior Based on Log Injection
Fast & Sound: Accelerating Synthesis-Rules-Based Process Discovery
A Generic Approach Towards Adapting User Preferences in Business Process Execution
Uncertain Case Identifiers in Process Mining: A User Study of the Event-Case Correlation Problem on Click Data
A Technique for Collaboration Discovery
Resource Optimization in Business Processes
IAT/ML: A Domain-Specific Approach for Discourse Analysis and Processing
Toward IoT-Based Process Analytics: Extending Event Knowledge Graphs with Ambiguity
RBPMN - The Power of Roles for Business Process Modeling with BPMN
Reviewing Conformance Checking Uses for Run-Time Regulatory Compliance
AI-Enhanced Business Process Automation: A Case Study in the Insurance Domain Using Object-Centric Process Mining
Precision-Guided Minimization of Arbitrary Declarative Process Models
Process Modeling with Large Language Models
Requirements for a Digital Twin for Energy, Social, and Governance Data of Commercial Buildings
Introducing Agile Controllability in Temporal Business Processes
Understanding Capability Progression: A Model for Defining Maturity Levels for Organizational Capabilities
A Complementary Analysis of the Behavior of BPMN Tools Regarding Process Modeling Problems
An Ontological Model of the Phishing Attack Process
Enterprise, Business-Process and Information Systems Modeling - 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings
A First Validation of the Enterprise Architecture Debts Concept
Enterprise, Business-Process and Information Systems Modeling - 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Learning Analytics Dashboard with Peer Comparison for Student Feedback in Conceptual Modeling Education
Understanding Process Management in Non-profit Organisations Without Formal Business Process Management
Supporting Collaborative Design by Diagram Briefs in the Early Stage of Innovation Projects
A Novel Contextualization Method for Process Discovery Using Activity Specialization Hierarchies
Which Tables are Mine(able)?
Designing Decision Support Systems for Rural Mobility Enhancement
State of the Art and Research Directions for Visual Conceptual Modeling in Robotics
Leveraging Data Augmentation for Process Information Extraction
Making the Case for Process Analytics: A Use Case in Court Proceedings
Deviance Analysis by Means of Redescription Mining
Probabilistic Learning of Temporal Uncertainties in Business Processes
Towards Simplification of ME-Maps
Agent Responsibility Framework for Digital Agents: Roles and Responsibilities Related to Facets of Work
Aligning Object-Centric Event Logs with Data-Centric Conceptual Models
A Method for Digital Business Ecosystem Design: Evaluation of Two Cases in the Maritime Dataspaces
A Time-Aware Model for Legal Smart Contracts
Situational Environmental, Social and Governance Accounting: From Ethical Value Elicitation to Sustainability Reporting
HarborLang: Enhancing Maritime Operational Safety Through Cyber Threat Simulation and Assessment
Supporting Method Creation, Adaptation and Execution with a Low-code Approach
Towards Access Control Models for Conversational User Interfaces
Integrating Physical, Digital, and Virtual Modeling Environments in a Collaborative Design Thinking Tool
The Integration of Process Simulation Within the Business Architecture
Modeling, Executing and Monitoring IoT-Driven Business Rules
Assessing the Suitability of Large Language Models in Generating UML Class Diagrams as Conceptual Models
Modeling Heterogeneous IT Infrastructures: A Collaborative Component-Oriented Approach
A Novel Decision Mining Method Considering Multiple Model Paths
Modelling and Execution of Data-Driven Processes with JSON-Nets
Process Mining Challenges Perceived by Analysts: An Interview Study
Building BESSER: An Open-Source Low-Code Platform
Principles of Universal Conceptual Modeling
Could a Large Language Model Contribute Significantly to Requirements Analysis?
OCPM 2 : Extending the Process Mining Methodology for Object-Centric Event Data Extraction
Blockchain Application Development Using Model-Driven Engineering and Low-Code Platforms: A Survey
A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
Forensic Readiness and Privacy: Towards Resolving Software Goal Conflict
Experience Report: Applying a Capability Heat Map in a Government Organization
Enhancing C2-Systems: Validation of Goal and Concept Models with Stakeholders
TEC-MAP: A Taxonomy of Evaluation Criteria for Multi-modelling Approaches
Towards a Maturity Assessment Framework for MBSE Adoption: Results from a Meta-synthesis
Process Model Complexity Metrics, Cognitive Load and Visual Behavior: A Multi-granular Eye-Tracking Analysis
Repairing Process Descriptions by Discovering Deviations from Process Models
Visual Representation of Resource Analysis Insights for Process Mining
Enterprise Modeling in Support Of Transparency in the Design and Use of Software Systems
Event Log Generation: An Industry Perspective
A Multi-dimensional Model for the Design and Development of Analytical Information Systems
Detecting Context Activities in Event Logs
Exploring the Influence of Data Characteristics on Machine Learning Outcomes
Can an LLM Use Work System Axioms When Describing Work Systems for Requirements Analysis?
Towards a Systematic Method for Developing Meta Attack Language Instances
Opportunities in Robotic Process Automation by and for Model-Driven Software Engineering
Exploring Capability Mapping as a Tool for Digital Transformation: Insights from a Case Study
Navigating the Data Model Divide in Smart Manufacturing: An Empirical Investigation for Enhanced AI Integration
Designing a User Interface to Explore Collections of Directly-Follows Graphs for Process Mining Analysis
Just Tell Me: Prompt Engineering in Business Process Management
Beyond Temporal Dependency: An Ontology-Based Approach to Modeling Causal Structures in Business Processes
Evaluating Large Language Models in Process Mining: Capabilities, Benchmarks, and Evaluation Strategies
Are Code and Design Models Similarly Effective in Understanding Software Structure and Behavior?
Eliciting Ethicality Requirements Using the Ontology-Based Requirements Engineering Method
A Requirements-Driven Framework for Automatic Data Visualization
Enhancing Our Understanding of Business Process Model Comprehension Using Biometric Data
Efficient Computation of Behavioral Changes in Declarative Process Models
Identifying Process Improvement Opportunities Through Process Execution Benchmarking
Human-AI Collaboration for Business Process Modeling with Petri Nets
Towards Process-Oriented IIoT Security Management: Perspectives and Challenges
Exploratory Study on Students' Understanding of Multi-perspective Modelling
From Network Traffic Data to a Business-Level Event Log
A Generic Approach Towards Location-Aware Business Process Execution
Realizing the Accountability of Algorithms in the Public Sector: A Reference Method for Managing Algorithm Registers
Comparing Different Visualizations for Feedback on Test Execution in a Model-Driven Engineering Environment
A Semi-automated Method for Domain-Specific Ontology Creation from Medical Guidelines
Towards Taming Large Language Models with Prompt Templates for Legal GRL Modeling
Comparing international indicators of student engagement for computer science
Document DNA: Content Centric Provenance Data Tracking in Documents
Symbol Grounding and its Implications for Artificial Intelligence
An Evaluation of POS Tagging for Tweets Using HMM Modelling
A ConceptLink Graph for Text Structure Mining
Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings
An Approach to Secure Distribution of Web-Based Training Courses
Rubrics used in peer assessment
A Domain Specific Language for Execution Profiling and Regulation
The challenge of creating cooperating mobile services: experiences and lessons learned
Understanding Saudi Arabian students' engagement in E-learning 2.0 in Australian Higher Education
Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004
A study on detecting three-dimensional balls using boosted classifiers
Refining Logic Programs Using Types
Pizza with university ICT students: what do students' expect employers want from them?
A framework for role-based group deligation in distributed environments
Market-sentiment boosted predictions on multi-type time-series
Storage and Retrieval of Software Components Using Aspects
An efficient hash-based algorithm for minimal k -anonymity
Programming with heterogeneous structures: manipulating XML data using bondi
HOVER: hybrid on-demand distance vector routing for wireless mesh networks
Fluid dynamic visualisations of cuttings-bleeding for virtual reality heart beating surgery simulation
Structures in collaborative tagging: an empirical analysis
What is in our datasets?: describing a structure of datasets
Effective algorithm for protecting WSNs from internal attacks in real-time
A File Discovery Control Scheme for P2P File Sharing Applications in Wireless Mobile Environments
Current Educational Technology Use for Digital Information Acquisition by Young New Zealand Children
A JMX toolkit for merging network management systems
Hybrid Wrapper-filter Aapproaches for Input Feature Selection using Maximum relevance-Minimum redundancy and Artificial Neural Network Input Gain Measurement Approximation (ANNIGMA)
Web Services Discovery Based On Schema Matching
An Implementation of Parallel Pattern-Matching via Concurrent Haskell
Inference of Gene Expression Networks Using Memetic Gene Expression Programming
Ticket-Based Service Access Scheme for Mobile Users
A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiency
Industry expectations of soft skills in IT graduates: a regional survey
Refining Edge Detection within Spiral Architecture
Enhancing Data Locality in a Fully Decentralised P2P Cycle Stealing Framework
Patient journey modelling as a policy mapping method: enhancing the understanding of policy analysis
Interaction design for a mobile context-aware system using discrete event modelling
Modeling perceived difficulty in game levels
Communication Performance Issues for Two Cluster Computers
Tracing secure information flow through mode changes
Constructing real-time collaborative software engineering tools using CAISE, an architecture for supporting tool development
I know what you did last summer... an investigation into remnant data on USB storage devices sold in Australia in 2015
Simulating Network Robustness for Critical Infrastructure Networks
The Derivation of Functional Equivalents of Imperative Programs
A Useful Bound for Region Merging Algorithms in a Bayesian Model
Average distance as a predictor of synchronisability in networks of coupled oscillators
Mutually Visible Agents in a Discrete Environment
AdJava - Automatic Distribution of Java Applications
Improving Search in a Hypothetical Reasoning System
Efficiency of Data Structures for Detecting Overlaps in Digital Documents
Types and Classes of Machine Learning and Data Mining
Interactive 3D web applications for visualization of world health organization data
Towards the Completion of the Formal Semantics of OCL 2.0
A batch algorithm for maintaining a topological order
FEAS: A full-time event aware scheduler for improving responsiveness
Biomedical computing and visualization
Improvements of TLAESA nearest neighbour search algorithm and extension to approximation search
Jointly Compatible Pair Linking for Visual Tracking with Probabilistic Priors
Declarative Diagnosis of Floundering in Prolog
Force-Transfer: A New Approach to Removing Overlapping Nodes in Graph Layout
Reducing Cognitive Overhead on the World Wide Web
Software Engineering Despite Object-Orientation
Determining Component Reliability Using a Testing Index
Access-Ordered Indexes
On Modelling Real-Time Mobile Processes
Improving end-user GUI customization with transclusion
A Framework for Modelling and Analysing Mobile Systems
Flexible Layering in Hierarchical Drawings with Nodes of Arbitrary Size
Proving "no Cliques" in a Protocol
Improving SAT Using 2SAT
Architecture of a Web Accelerator For Wireless Networks
Just Like Magic: Anthropological Musings on the History and Culture of Wireless Technologies
Exploring the applicability of Reservoir methods for Classifying Punctual Sports Activities Using On-body Sensors
Using Chronological Splitting to Compare Cross- and Single-company Effort Models: Further Investigation
Anonymous Access Scheme for Electronic Services
Alias Analysis for Exceptions in Java
DAC: Database Application Context Analysis applied to Enterprise Applications
A Unifying Semantic Distance Model for Determining the Similarity of Attribute Values
Informatics olympiads: challenges in programming and algorithm design
Intelligent Agents for Automated One-to-Many e-Commerce Negotiation
Hourglass Systems
Integer Programming Models and Algorithms for Molecular Classification of Cancer from Microarray Data
Network Robustness and Graph Topology
Automated Layout of Concept Lattices Using Layered Diagrams and Additive Diagrams
Learning and the Reflective Journal in Computer Science
On illegal composition of first-class agent interaction protocols
Automatic Music Classification Problems
Alias Analysis On Type Inference For Class Hierarchy In Java
A framework for visual data mining of structures
A Replication and Reproduction of Code Clone Detection Studies
Mining autograding data in computer science education
An Approach to Specifying Software Frameworks
Supporting Component-Based Reuse in CARE
A Program Transformation for Debugging Haskell 98
Surface air hockey: a step towards smart tangibles
Towards a Semantic Basis for Rosetta
Combining Logics for Modelling Security Policies
Semantic Modeling for Video Content-Based Retrieval Systems
A Citation Analysis of the ACSC 2006-2008 Proceedings, with Reference to the CORE Conference and Journal Rankings
Trends in Suffix Sorting: A Survey of Low Memory Algorithms
Developing Middleware for Web-Aware Systems: Lessons Learned
Improved Video Mosaic Construction by Selecting a Suitable Subset of Video Images
On measuring Java software
Optimising Parallel Pattern-matching by Source-level Program Transformation
A Programming Language for Web Service Development
Stepwise Development from Ideal Specifications
Building Instance Knowledge Network for Word Sense Disambiguation
A Practical Method to Counteract Denial of Service Attacks
A Generalised Spreadsheet Verification Methodology
Modelling Large Railway Interlockings and Model Checking Small Ones
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage
An Evaluation of Web Services in the Design of a B2B Application
A Framework of Filtering, Clustering and Dynamic Layout Graphs for Visualization
A Novel Fuzzy Logic Controller (FLC) for Shortening the TCP Channel Roundtrip Time by Eliminating User Buffer Overflow Adaptively
Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm
Flexible Exclusion Control for Composite Objects
Employing Hierarchical Federation Communities in the Virtual Ship Architecture
Audio-Visual Speech Recognition Using Red Exclusion and Neural Networks
Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models
Formalization of Transformation-Based Learning
Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction
Automatically assessed electronic exams in programming courses
Optimised Phrase Querying and Browsing of Large Text Databases
Stemming Indonesian
Web Mining in Search Engines
Frequency Space Representation of Transitions of Quadruped Robot Gaits
A Multi-versioning Algorithm for Intention Preservation in Distributed Real-time Group Editors
Comparing Industry Benchmarks for J2EE Application Server : IBM's Trade2 vs Sun's ECperf
Essential Use Cases and Responsibility in Object-Oriented Development
A Two-Pronged Attack on the Dragon of Intractability
Extensible Job Managers for Grid Computing
Cross-Layer Verification of Type Flaw Attacks on Security Protocols
Extensible detection and indexing of highlight events in broadcasted sports video
An Enhanced Model for Network Flow Based Botnet Detection
A Machine Learning approach to Generic Entity Resolution in support of Cyber Situation Awareness
A High Performance Kernel-Less Operating System Architecture
Neural Networks and Financial Trading and the Efficient Markets Hypothesis
Automated Layout of Concept Lattices Using Force Directed Placement and Genetic Algorithms
Segregated failures model for availability evaluation of fault-tolerant systems
Evaluating the dynamic behaviour of Python applications
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols
Detecting Privacy and Ethical Sensitivity in Data Mining Results
In-Place versus Re-Build versus Re-Merge: Index Maintenance Strategies for Text Retrieval Systems
ALARM: An Adaptive Load-Aware Routing Metric for Hybrid Wireless Mesh Networks
Music Ranking Techniques Evaluated
Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach
Towards Customisable Tuple Field Matching in VLOS
Comparison of Binary and Multi-Variate Hybrid Decision Diagram Algorithms for K-Terminal Reliability
Automated functionality testing through GUIs
HAT-Trie: A Cache-Conscious Trie-Based Data Structure For Strings
Evolutionary Design of Optical Waveguide with Multiple Objectives
Sensor Fusion Weighting Measures in Audio-Visual Speech Recognition
Untraceable Off-line Electronic Cash Flow in E-Commerce
On the Existence of High-Impact Refactoring Opportunities in Programs
On Improving the Memory Access Patterns During The Execution of Strassen's Matrix Multiplication Algorithm
An Inference Implementation Based on Extended Weighted Finite Automata
Plagiarism detection across programming languages
Exposing Memory Mapped I/O Using NFS
A Novel Method for Decentralised Peer-to-Peer Software License Validation Using Cryptocurrency Blockchain Technology
Logic and refinement for charts
Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia, January/February 2002
Exploring Human Judgement of Digital Imagery
ERA Challenges for Australian University ICT
Access Control Models and Security Labelling
Extended Boolean retrieval for systematic biomedical reviews
Metaphor and Metonymy in Object-Oriented Design Patterns
A Low-Cost High-Impact Computer Science Show for Family Audiences
Real-time Monocular Tracking of View Frustum for Large Screen Human-Computer Interaction
Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading
MCquery: interactive visual query of relational data with coordinating context displays
Verification of the SIP Transaction Using Coloured Petri Nets
Authorization Algorithms for the Mobility of User-Role Relationship
Strength Reduction for Loop-Invariant Types
Gradiance On-Line Accelerated Learning
A Novel Approach to Parenting in Functional Program Evaluation
Microdata Protection Through Approximate Microaggregation
Reflections on Remote Reflection
Relative simulation and model checking of real-time processes