yusuke1997/dblp-id-title huggingface dataset:
A comparison of platforms for implementing and running very large scale machine learning algorithms
Collective spatial keyword querying
RisGraph: A Real-Time Streaming System for Evolving Graphs to Support Sub-millisecond Per-update Analysis at Millions Ops/s
Data Abstraction, Data Bases and Conceptual Modelling
SLAM: Efficient Sweep Line Algorithms for Kernel Density Visualization
Reliable Transaction Management in a Multidatabase System
MemFlow: Memory-Aware Distributed Deep Learning
Fast and unified local search for random walk based k-nearest-neighbor query in large graphs
Extending Graph Patterns with Conditions
Towards a general-purpose query language for visualization recommendation
Identifying Similarities, Periodicities and Bursts for Online Search Queries
On Imaginary Fields, Token Transfers and Floating Codes in Intelligent Secondary Memories
Efficiently Supporting Procedures in Relational Database Systems
On the Correlation Between Textual Content and Geospatial Locations in Microblogs
Holistic optimization by prefetching query results
Adaptive Selectivity Estimation Using Query Feedback
SCAN-XP: Parallel Structural Graph Clustering Algorithm on Intel Xeon Phi Coprocessors
PROUD: PaRallel OUtlier Detection for Streams
Data Modeling of Time-Based Media
Modern Recommender Systems: from Computing Matrices to Thinking with Neurons
Evaluation of Database Access Paths
Access Methods: A Brief Overview for the 1971 ACM SIGFIDET Workshop
Mind Your Vocabulary: Query Mapping Across Heterogeneous Information Sources
Modelling Concepts for Reasoning About Access to Knowledge
Data conflict resolution using trust mappings
From Browsing to Interacting: DBMS Support for Responive Websites (Abstract)
Llama: leveraging columnar storage for scalable join processing in the MapReduce framework
Graphflow: An Active Graph Database
Maximizing Persistent Memory Bandwidth Utilization for OLAP Workloads
SIGIR-SIGARCH-SIGMOD Third Workshop on Computer Architecture for Non-Numeric Processing, Blue Mountain Lake, Syracuse, NY, USA, May 17-18, 1977
InMAF: indexing music databases via multiple acoustic features
Declarative error management for robust data-intensive applications
Autocompletion for Prefix-Abbreviated Input
Use of Database Organization in the Consul System
Oracle database replay
Interactive Time Series Analytics Powered by ONEX
Extracting Knowledge Graphs from Financial Filings: Extended Abstract
Transform-Data-by-Example (TDE): Extensible Data Transformation in Excel
Scalable query rewriting: a graph-based approach
A Record Oriented, Grammar Driven Data Translation Model
Cross-tier, label-based security enforcement for web applications
Making Smalltalk a Database System
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap
Enhancements to SQL server column stores
Weighted Coverage based Reviewer Assignment
Through the Data Management Lens: Experimental Analysis and Evaluation of Fair Classification
Cost and Performance Analysis of Semantic Integrity Validation Methods
CausalExplain: Causal Explanations of Black-box Models with Training Data Subsets
Proceedings of the Fifth Workshop on Data Management for End-To-End Machine Learning, In conjunction with the 2021 ACM SIGMOD/PODS Conference, DEEM@SIGMOD 2021, Virtual Event, China, 20 June, 2021
TxtAlign: Efficient Near-Duplicate Text Alignment Search via Bottom-k Sketches for Plagiarism Detection
Bitmap Index Design and Evaluation
Combined XML/XQuery generator
Database state generation via dynamic symbolic execution for coverage criteria
Crash Recovery in Client-Server EXODUS
HTAP Databases: What is New and What is Next
LCE: An Object-Oriented Database Application Development Tool
Computers versus Common Sense
FastMap: A Fast Algorithm for Indexing, Data-Mining and Visualization of Traditional and Multimedia Datasets
Information theory for data management
NebulaStream: An Extensible, High-Performance Streaming Engine for Multi-Modal Edge Applications
Benchmarking Simple Database Operations
Managing and mining large graphs: systems and implementations
Data Base Decomposition in a Hierarchical Computer System
Transaction Management in Engineering Databases
Spatial Join Selectivity Using Power Laws
Retrieval Efficiency Using Combined Indexes
Holistic Influence Maximization: Combining Scalability and Efficiency with Opinion-Aware Models
A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper)
SLiMFast: Guaranteed Results for Data Fusion and Source Reliability
Cloud-based RDF data management
Using Multiversion Data for Non-interfering Execution of Write-only Transactions
The Onion Technique: Indexing for Linear Optimization Queries
FPTree: A Hybrid SCM-DRAM Persistent and Concurrent B-Tree for Storage Class Memory
Rule Base Management Using Meta Knowledge
FICSR: f eedback-based i n c on s istency r esolution and query processing on misaligned data sources
Turbo-charging Vertical Mining of Large Databases
Extending Ingres with Methods and Triggers
From Structured Documents to Novel Query Facilities
Efficient Algorithms for Maximal k-Biplex Enumeration
Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012, Scottsdale, AZ, USA, May 20-24, 2012
Matching heterogeneous event data
Predicting cost amortization for query services
MLearn: A Declarative Machine Learning Language for Database Systems
STORM: Spatio-Temporal Online Reasoning and Management of Large Spatio-Temporal Data
In search of influential event organizers in online social networks
Another way to implement complex computations: functional-style SQL UDF
Presentation (discussion)
The Web of Data is partially unavailable, so what?: Extended Abstract
Real-World MVD's
SEMROD: Secure and Efficient MapReduce Over HybriD Clouds
CourseRank: a social system for course planning
Unified Spatial Analytics from Heterogeneous Sources with Amazon Redshift
ACE-in-Action: A Smart DBMS Bufferpool for SSDs
S-OLAP: an OLAP system for analyzing sequence data
Storage class memory: technology, systems and applications
FalconDB: Blockchain-based Collaborative Database
TIMBER: A Native System for Querying XML
An Effective Syntax for Bounded Relational Queries
Issues in the Design of Database Programming Languages
Efficient Approximate Algorithms for Empirical Entropy and Mutual Information
Make More of Data Types
BLOCKBENCH: A Framework for Analyzing Private Blockchains
Partial view selection for evolving social graphs
IPSOFACTO: A Visual Correlation Tool for Aggregate Network Traffic Data
Viral marketing 2.0
A Dynamic Clustering Technique for Physical Database Design
The Architecture of a Database Computer - A Summary
Rewriting nested XML queries using nested views
TencentRec: Real-time Stream Recommendation in Practice
SparkSQL+: Next-generation Query Planning over Spark
An extendable framework for managing uncertain spatio-temporal data
Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only)
Algorithms for Deferred View Maintenance
Heterogeneous Databases and High Level Abstraction
X-Engine: An Optimized Storage Engine for Large-scale E-commerce Transaction Processing
Exploring Ratings in Subjective Databases
Efficient Graph Summarization using Weighted LSH at Billion-Scale
Wave-Indices: Indexing Evolving Databases
Versions and Workspaces in Microsoft Repository
Differentially private data cubes: optimizing noise sources and consistency
Virtualized Network Service Topology Exploration Using Nepal
Real-Time Transaction Scheduling: A Cost Conscious Approach
Slice Tuner: A Selective Data Acquisition Framework for Accurate and Fair Machine Learning Models
Approximate algorithms for K-anonymity
Towards Re-defining Relation Understanding in Financial Domain
A temporal context-aware model for user behavior modeling in social media systems
An Object-Oriented Database System for Engineering Applications
Timely Reporting of Heavy Hitters using External Memory
A Multiprocessing System for the Direct Execution of LISP
Secure Transaction Processing in Firm Real-Time Database Systems
An Object-Oriented Approach to Multimedia Databases
SuRF: Practical Range Query Filtering with Fast Succinct Tries
Learning Efficiently Over Heterogeneous Databases: Sampling and Constraints to the Rescue
ARENA: Alternative Relational Query Plan Exploration for Database Education
From In-Place Updates to In-Place Appends: Revisiting Out-of-Place Updates on Flash
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994
VERSANT Replication: Supporting Fault-Tolerant Object Databases
The RADAR Ecosystem: An Integrated System for Systemic Risk Evaluation and Monitoring
Garlic: a new flavor of federated query processing for DB2
Interactive Query Explanations Using Fine Grained Provenance
iOLAP: Managing Uncertainty for Efficient Incremental OLAP
Micro-architectural analysis of a learned index
Adaptable Query Optimization and Evaluation in Temporal Middleware
A System for Automated Open-Source Threat Intelligence Gathering and Management
Self-Organizing Data Sharing Communities with SAGRES
Proteus: Autonomous Adaptive Storage for Mixed Workloads
Matrix Profile X: VALMOD - Scalable Discovery of Variable-Length Motifs in Data Series
Optimization of Query Streams Using Semantic Prefetching
SparkFuzz: searching correctness regressions in modern query engines
Building Reactive Large Language Model Pipelines with Motion
A vision for personalized service level agreements in the cloud
User Interfaces and Database Management Systems
Trajectory clustering: a partition-and-group framework
Exploratory Mining via Constrained Frequent Set Queries
Towards an extensible efficient event processing kernel
Efficient Exploration of Linked Data
Space Optimization in the Bottom-Up Evaluation of Logic Programs
Demonstration of ElasticNotebook: Migrating Live Computational Notebook States
Efficient Algorithms for Answering the m-Closest Keywords Query
Cooperative Update Synchronization for Local Network Database Systems
Accelerating Product Quantization Query Execution Runtime
Reliable Data Distillation on Graph Convolutional Network
Large-scale copy detection
Snorkel MeTaL: Weak Supervision for Multi-Task Learning
A Specialized Computer Architecture for Text Retrieval
Cost-Sensitive Reordering of Navigational Primitives
K: A High-Level Knowledge Base Programming Language for Advanced Database Applications
Simultaneous Optimization and Evaluation of Multiple Dimensional Queries
Partiqle: an elastic SQL engine over key-value stores
Independence is Good: Dependency-Based Histogram Synopses for High-Dimensional Data
Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence
A System for Watermarking Relational Databases
Constructing Bisimulation Summaries on a Multi-Core Graph Processing Framework
VALMOD: A Suite for Easy and Exact Detection of Variable Length Motifs in Data Series
Data Science Challenges in Real Estate Asset and Capital Markets
An Approach to Information Management for CAD/VLSI Applications
Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30 - June 1
Indexing methods for moving object databases: games and other applications
DBTest '22: 9th International Workshop on Testing Database Systems
ProgXe: progressive result generation framework for multi-criteria decision support queries
Opportunities and risks for engaging research participants with self-logged menstrual health data
Efficient query answering in probabilistic RDF graphs
Implicit Parallelism through Deep Language Embedding
About Quark Digital Media System
Bridging the gap between user intention and model parameters for human-in-the-loop data analytics
ROX: run-time optimization of XQueries
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning
ConEx: a system for monitoring queries
The farm: where pig scripts are bred and raised
Progressive Deep Web Crawling Through Keyword Queries For Data Enrichment
AHEAD: Adaptable Data Hardening for On-the-Fly Hardware Error Detection during Database Query Processing
SparkR: Scaling R Programs with Spark
Axiomatic Information Modeling
Practical Selectivity Estimation through Adaptive Sampling
HOT: A Height Optimized Trie Index for Main-Memory Database Systems
Web and Social Media Analytics towards Enhancing Urban Transportations: A Case for Bangalore
Ranking objects based on relationships
Controlling False Discoveries During Interactive Data Exploration
An Efficient and Flexible Method for Archiving a Data Base
Human-in-the-Loop Challenges for Entity Matching: A Midterm Report
Database Modeling of Empirical Games
Stochastic Package Queries in Probabilistic Databases
Programming on a tablet: A proposal for a new notation
An extensible system for drawing block diagrams
Graphical systems and two-dimensional mathematical expressions
PICASSO a general graphics modeling program
TWO-D: The USF Beginner's Two-Dimensional Programming System
GRAPHOS: A macro directed system for two-dimensional syntax translation
A report on the use of FORTRAN-coded EXPLOR for the teaching of computer graphics and computer art
A review of two-dimensional programming languages
SCRATCHPAD: A capsule view
The terminal control language for the madcap programming language
Progress in MIRFAC
Proceedings of the Symposium on Two-Dimensional Man-Machine Communication, Los Alamos, New Mexico, USA, October 1, 1972
Two-dimensional characteristics of HAL, a language for spaceflight applications
Fundamentals of the AMBIT/L list-processing language
The two-dimensional interface of an interactive system for molecular studies
The economics, politics, and sociology of two-dimensional systems
Shape coefficients for polygons
The Assistant Mathematician: An interactive graphic programming language
Service Provision in Ad Hoc Networks
Introducing Connections Into Classes With Static Meta-Programming
Generalized Committed Choice
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Reversing P/T Nets
Coordinating Distributed Objects with Declarative Interfaces
A Formal Account of WS-BPEL
Session-ocaml: A Session-Based Library with Polarities and Lenses
CiAN: A Workflow Engine for MANETs
Towards Races in Linear Logic
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
A Constraint Opinion Model
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
OpenCoLaS a Coordination Framework for CoLaS Dialects
A Logical View of Choreography
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts
Operational Semantics for Coordination in Paradigm
ReGraDa: Reactive Graph Data
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents
Coordination in the ImpUNITY Framework
Logic Fragments: A Coordination Model Based on Logic Inference
Microservice Dynamic Architecture-Level Deployment Orchestration
Delegation Modeling with Paradigm
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Scripting Coordination Styles
A Correct Abstract Machine for Safe Ambients
An Event-Based Coordination Model for Context-Aware Applications
Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling
Extending the Matching Facilities of Linda
Time-Aware Coordination in ReSpecT
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications
Stochastic Process Algebra and Stability Analysis of Collective Systems
Coordination through Channel Composition
Modeling and Analysis of Reo Connectors Using Alloy
Verified Parameterized Choreographies
Semantics of Protocol Modules Composition and Interaction
Types for Coordinating Secure Behavioural Variations
Scheduling under Uncertainty: Planning for the Ubiquitous Grid
Design for Open Systems in Java
A Labelled Semantics for Soft Concurrent Constraint Programming
Dynamically Adapting the Behaviour of Software Components
Scoped Synchronization Constraints for Large Scale Actor Systems
A Sound Up-to-n, δ Bisimilarity for PCTL
Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction
Decidability Problems for Micro-Stipula
Transactional Aspects in Semantic Based Discovery of Services
A Principled Semantics for inp
GoPi: Compiling Linear and Static Channels in Go
JErlang: Erlang with Joins
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
Take Command of Your Constraints!
A Coordination Model for Service-Oriented Interactions
An Asynchronous Model of Locality, Failure and Process Mobility
The Structure of Concurrent Process Histories
Measuring Component Adaptation
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
The SPACETUB Models and Framework
Revisiting Glue Expressiveness in Component-Based Systems
Multilevel Transitive and Intransitive Non-interference, Causally
A Compositional Trace Semantics for Orc
A Software Environment for Concurrent Coordinated Programming
A True Concurrent Model of Smart Contracts Executions
Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions
Enforcement of Communal Policies for P2P Systems
On Dynamical Probabilities, or: How to Learn to Shoot Straight
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Declarative Deployment Planning for Green Pulverised Collective Computational Systems
Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Group Orchestration in a Mobile Environment
The LuCe Coordination Technology for MAS Design and Development on the Internet
Quality of Service Ranking by Quantifying Partial Compliance of Requirements
Coordination Models and Software Architectures in a Unified Software Development Process
Assume-Guarantee Verification of Concurrent Systems
Soft Concurrent Constraint Programming with Local Variables
Patterns for Coordination
Enabling Ubiquitous Coordination Using Application Sessions
Timed Soft Concurrent Constraint Programs
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems
Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Coordination with Multicapabilities
Towards Energy-, Time- and Security-Aware Multi-core Coordination
A Calculus of Self-stabilising Computational Fields
Formal Choreographic Languages
From Weaving Threads to Untangling the Web: A View of Coordination from Linda's Perspective
Legal Contracts Amending with [inline-graphic not available: see fulltext]
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
A Formal Analysis of the Global Sequence Protocol
The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
Synchronized Hyperedge Replacement for Heterogeneous Systems
Dialects for the CoAP IoT Messaging Protocol
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Statelets: Coordination of Social Collaboration Processes
Typing Liveness in Multiparty Communicating Systems
Mobile Agents Coordination in Mob adtl
Formalising Business Process Execution with Bigraphs and Reactive XML
Coordinating Workflow Allocation and Execution in Mobile Environments
Preserving Architectural Properties in Multithreaded Code Generation
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
Retractable and Speculative Contracts
MobiS: A Specification Language for Mobile Systems
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming
Using Logical Operators as an Extended Coordination Mechanism in Linda
Automatic Quality-of-Service Evaluation in Service-Oriented Computing
Software Architecture for Large Control Systems: A Case Study Description
Parametrised Constants and Replication for Spatial Mobility
Decidability Results for Dynamic Installation of Compensation Handlers
CSP as a Coordination Language
Open Transactions on Shared Memory
Active Objects for Coordinating BSP Computations (Short Paper)
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Observables for Mobile and Wireless Broadcasting Systems
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols
Actors with Multi-headed Message Receive Patterns
From Modelling to Systematic Deployment of Distributed Active Objects
Playing Games with Software Design
Synthesizing Concurrency Control Components from Process Algebraic Specifications
High-Performance Transactional Event Processing
Integrating Two Organizational Systems through Communication Genres
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
GCCS: A Graphical Coordination Language for System Specification
Internet-Based Coordination Environments and Document-Based Applications: A Case Study
Coordination and Concurrency in Multi-engine Prolog
Coordination Models for Dynamic Resource Allocation
Acme-Based Software Architecture Interchange
CLAM: Composition Language for Autonomous Megamodules
A WSDL-Based Type System for WS-BPEL
VISIFOLD: A Visual Environment for a Coordination Language
O'Klaim: A Coordination Language with Mobile Mixins
Tuple-Based Models in the Observation Framework
Debugging Distributed Applications Using a Coordination Architecture
Tuple Space Coordination Across Space and Time
Coordinating Computation with Communication
Criteria for the Analysis of Coordination in Multi-agent Applications
Java Typestate Checker
Problem Frames: A Case for Coordination
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts
Towards Reinforcement Learning-based Aggregate Computing
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study
CoorSet: A Development Environment for Associatively Coordinated Components
Safe and Efficient Data Sharing for Message-Passing Concurrency
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services
Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract)
DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects
A Practical Tool-Chain for the Development of Coordination Scenarios - Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator
A Formalization of the IWIM Model
Modelling Interoperability by CHAM: A Case Study
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Solving the LINDA Multiple rd Problem
Formal Analysis of BPMN Via a Translation into COWS
Object-Oriented Coordination in Mobile Ad Hoc Networks
Introducing a Calculus for Higher-Order Multiset Programming
On What Linda Is: Formal Description of Linda as a Reactive System