yusuke1997/dblp-id-title huggingface dataset:
Databases in Networked Information Systems - 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings
An Improved Approach to Extract Document Summaries Based on Popularity
Exploring Web Logs with Coordinated OLAP Dimension Hierarchies
Spatial Query Processing Based on Uncertain Location Information
A Novel Network Coding Scheme for Data Collection in WSNs with a Mobile BS
Knowledge Visualization of the Deductive Reasoning for Word Problems in Mathematical Economics
Pariket: Mining Business Process Logs for Root Cause Analysis of Anomalous Incidents
Databases in Networked Information Systems, Second International Workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002, Proceedings
Deferred Maintenance of Indexes and of Materialized Views
AccKW: An Efficient Access Control Scheme for Keyword-Based Search over RDBMS
Towards Scalable Architectures for Clickstream Data Warehousing
A Dataflow Platform for In-silico Experiments Based on Linked Data
Building a Scalable Web Query System
Conversation Quantization as a Foundation of Conversational Intelligence
Real-Time Traffic Video Analysis Using Intel Viewmont Coprocessor
An Experimental Study on Query Processing Efficiency of Native-XML and XML-Enabled Database Systems
Supporting the Conversational Knowledge Process in the Networked Community
A Position Correction Method for RSSI Based Indoor-Localization
Databases in Networked Information Systems, International Workshop DNIS 2000, Aizu, Japan, December 4-6, 2000, Proceedings
Finding Similar Legal Judgements under Common Law System
Using SCTP to Implement Multihomed Web Servers
Geometrical Information Fusion from WWW and Its Related Information
GridFS: Ensuring High-Speed Data Transfer Using Massively Parallel I/O
Aspect Oriented Programming for Modularization of Concerns for Improving Interoperability in Healthcare Application
Big Data in Online Social Networks: User Interaction Analysis to Model User Behavior in Social Networks
Conversation Quantization for Conversational Knowledge Process
Graphical Interface for Design of Geometric Data Structures
Intelligent Management of SLAs for Composite Web Services
Readability Factors of Japanese Text Classification
Knowledge Visualization of Reasoning for Financial Mathematics with Statistical Theorems
Secure Data Management in the Cloud
A Semantic and Structural Similarity Approach to Personalize Location-Based Services
Mining Popular Places in a Geo-spatial Region Based on GPS Data Using Semantic Information
ATSOT: Adaptive Traffic Signal Using mOTes
Kaguya Moon Mission Data Repository: New Query Language Interface for Locating GIS Objects
An Approach to Extract Special Skills to Improve the Performance of Resume Selection
Adaptive Spatial Query Processing Based on Uncertain Location Information
A Survey on LBS: System Architecture, Trends and Broad Research Areas
Skyline Queries for Sets of Spatial Objects by Utilizing Surrounding Environments
Information Extraction, Real-Time Processing and DW2.0 in Operational Business Intelligence
A Design Methodology for Workflow System Development
EcoBroker: An Economic Incentive-Based Brokerage Model for Efficiently Handling Multiple-Item Queries to Improve Data Availability via Replication in Mobile-P2P Networks
Crowd-Based Data Sourcing - (Abstract)
A New Query Processing Scheme in a Web Data Engine
Exploratory Analysis of Light Curves: A Case-Study in Astronomy Data Understanding
Moving from Relational Data Storage to Decentralized Structured Storage System
An Analysis and Case Study of Digital Annotation
Personal Genomes: A New Frontier in Database Research
Optimization of Query Processing with Cache Conscious Buffering Operator
Data Providers - A Language Experiment
Wrapper Generation for Automatic Data Extraction from Large Web Sites
MARST: Multi-Agent Recommender System for e-Tourism Using Reputation Based Collaborative Filtering
Hidden Schema Extraction in Web Documents
MapReduce Algorithms for Big Data Analysis
Web Information Personalization: Challenges and Approaches
Predictive Business Operations Management
Accessing Hidden Web Documents by Metasearching a Directory of Specialty Search Engines
High Utility Rare Itemset Mining over Transaction Databases
Developing Re-usable Components Based on the Virtual-MVC Design Pattern
Governing the Contract Lifecycle: A Framework for Sequential Configuration of Loosely-Coupled Systems
Coding and Presentation of Multimedia for Data Broadcasting with Broadcasting Markup Language
Databases in Networked Information Systems - 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011. Proceedings
Databases in Networked Information Systems, 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005, Proceedings
Towards an Ontology-Based Generic Pipeline Editor
Hiding Data and Structure in Workflow Provenance
Policies, Models, and Languages for Access Control
Enhancing Access to Standardized Clinical Application for Mobile Interfaces
Information Retrieval Method for Frequently Updated Information System
Quasi-Relational Query Language Interface for Persistent Standardized EHRs: Using NoSQL Databases
Architectural Design of a Compensation Mechanism for Long Lived Transactions
Databases in Networked Information Systems - 9th International Workshop, DNIS 2014, Aizu-Wakamatsu, Japan, March 24-26, 2014. Proceedings
Application of Active Real-Time Objects and Rules in Semantic Web
Organic Databases
The Multimedia Semantic Web
A Design of Parallel R-tree on Cluster of Workstations
Visual Data Mining of Large Spatial Data Sets
Towards K-Nearest Neighbor Search in Time-Dependent Spatial Network Databases
Databases in Networked Information Systems, 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings
View Maintenance and Analytical Processing at Data Warehouses
NetIsle: A Hybrid Peer-to-Peer Groupware System Based on Push Technology for Small Group Collaboration
Improving the Performance of Read-Only Transactions Through Speculation
Browsing and Editing XML Schema Documents with an Interactive Editor
Discovering Chronic-Frequent Patterns in Transactional Databases
Summary Extraction from Chinese Text for Data Archives of Online News
The Palomar Transient Factory Data Archive
Information Systems That also Project into the Future
Blocking Reduction in Two-phase Commit Protocol with Multiple Backup Sites
An Interface for Web Based Access to Dynamic Contents
Networked Mining of Atomic and Molecular Data from Electronic Journal Databases on the Internet
Comparing Infrastructure Monitoring with CloudStack Compute Services for Cloud Computing Systems
Social Intelligence Design for Knowledge Circulation
Design of Automation Systems for Web Based Courseware Using XML and XSLT
On Realizing Quick Compensation Transactions in Cloud Computing
Going Beyond Completeness in Information Retrieval
Logic-Oriented Confidentiality Policies for Controlled Interaction Execution
Design and Implementation of the Workflow of an Academic Cloud
Development of eAgromet Prototype to Improve the Performance of Integrated Agromet Advisory Service
Covariance Structure and Systematic Risk of Market Index Portfolio
Similarity-Based Queries for Information Retrieval
Towards Open Education Through Distributed and Networked Information Systems - An Experience-Based Approach
Integration of Virtual Reality and Database System Techniques
A Data Placement Method of HSM for Streaming Media Server in Network Environment
An Interactive Programming Environment for Enhancing Learning Performance
A Model of Privacy and Security for Electronic Health Records
Web Information Integration Based on Compressed XML
A Distributed Algorithm for Outlier Detection in a Large Database
Simulation Study on Load Balanced Multiple Home Agents for Mobile IP Networks
Multimedia Framework for Application of Spatial Auditory Information to Learning Materials
Adaptive Query Interface for Mining Crime Data
Exploring OLAP Data with Parallel Dimension Views
Minimizing Wind Resistance of Vehicles with a Parallel Genetic Algorithm
Location Privacy in Geospatial Decision-Making
Sustainable Creation of Conversational Content Using Conversation Quantization
Differences and Identities in Document Retrieval in an Annotation Environment
Some Experiences on Large Scale Web Mining
Communication Deadlock Detection of Inter-organizational Workflow Definition
Efficient Selection of Various k-Objects for a Keyword Query Based on MapReduce Skyline Algorithm
Improving the Performance of Recommender System by Exploiting the Categories of Products
Web Log Mining and Parallel SQL Based Execution
Vectorization of Graphical Components in Sketch-Based Interfaces
Semantic Network Closure Structures in Dual Translation of Stochastic Languages
Semantic Interoperability in Healthcare Information for EHR Databases
Understanding User Behavior through Summarization of Window Transition Logs
Semantics Extraction from Social Computing: A Framework of Reputation Analysis on Buzz Marketing Sites
Exploring Structural and Dimensional Similarities Within - Lunar Nomenclature System Using Query Interfaces
Using Middleware as a Certifying Authority in LBS Applications
From Multimedia to UniversalMedia
Database of Differential Cross Sections for Hydrogen Ionization by Proton Impact
Semantic Tracking in Peer-to-Peer Topic Maps Management
An Inductive and Semantic Model of Constraints for Master Data Management under Cloud Computing
A Proposal for a Distributed XML Healthcare Record
Scalable Method for k Optimal Meeting Points (k-OMP) Computation in the Road Network Databases
On-Line Analysis of a Web Data Warehouse
HID: An Efficient Path Index for Complex XML Collections with Arbitrary Links
Skyline Sets Query and Its Extension to Spatio-temporal Databases
The Big Data Landscape: Hurdles and Opportunities
Improving Customer Experience via Text Mining
VisTree: Generic Decision Tree Inducer and Visualizer
Topic-Specific YouTube Crawling to Detect Online Radicalization
Modeling Personalized Recommendations of Unvisited Tourist Places Using Genetic Algorithms
An Improved Optimistic and Fault-Tolerant Replication Protocol
Search System for City Information Using Multiple Public Transportation Information Resources
Adding Valid Time to XPath
Using Neural Networks for Forecasting of Commodity Time Series Trends
Databases in Networked Information Systems - 10th International Workshop, DNIS 2015, Aizu-Wakamatsu, Japan, March 23-25, 2015. Proceedings
Xeena for Schema: Creating XML Data with an Interactive Editor
A Large Sky Survey Project and the Related Big Data Analysis
Databases in Networked Information Systems, Third International Workshop, DNIS 2003, Aizu, Japan, September 22-24, 2003, Proceedings
Localized Mobility-Aware Geometric Graphs for Topology Control in Heterogeneous Mobile Ad Hoc Networks
Live BI: A Framework for Real Time Operations Management
Semantic Conflicts and Solutions in Fuzzy Multidatabase Systems
Detecting Unexpected Correlation between a Current Topic and Products from Buzz Marketing Sites
Efficiently Coding and Querying XML Document
Query and Update Through XML Views
Peer-to-Peer File Sharing with Integrated Attribute Descriptions in XML and an Embedded Database Engine
Web Information Modeling: The Adjunction Space Model
A Graph Based Approach to Extract a Neighborhood Customer Community for Collaborative Filtering
Adaptive Integration of Distributed Semantic Web Data
In Search of Torrents: Automatic Detection of Logical Sets Flows in Network Traffic
Making Transaction Execution the Bottleneck - (Instead of All the Overheads)
Advanced Storage and Retrieval of XML Multimedia Documents
Real-Time Event Handling in an RFID Middleware System
Securing a B+tree for Use with Secret-Shared Databases
Data Management Challenges in Cloud Computing Infrastructures
Explicit Representation of Constrained Schema Mappings for Mediated Data Integration
Search in Virtual and Study in Real: A Ubiquitous Query/Answer System
Information Filtering by Using Materialized Skyline View
Attribute-Based Access to Distributed Data over P2P Networks
Efficiency of NoSQL Databases under a Moderate Application Load
A Photometric Machine-Learning Method to Infer Stellar Metallicity
Behavior Capture with Acting Graph: A Knowledgebase for a Game AI System
What's Wrong with Wrapper Approaches in Modeling Information System Integration and Interoperability?
GEOSO - A Geo-Social Model: From Real-World Co-occurrences to Social Connections
Dissemination of Dynamic Data on the Internet
Understanding the Dynamics of Crop Problems by Analyzing Farm Advisory Data in eSagu TM
Automatically Customizing Service Pages on the Web for Mobile Devices
Managing Groups and Group Annotations in madcow
Synthetic Evidential Study as Primordial Soup of Conversation
A Decentralised Approach to Computer Aided Teaching via Interactive Documents
WISE-CAPS: Overcoming Information Gathering Challenges in Lunar Surface Exploration
Implementing Agent-Based Resource Management in Tsunami Modeling - Preliminary Considerations
Fabrikate- und Kundenerfolgsrechnung bei der Zahnradfabrik Friedrichshafen AG
Einsatz der Dialogbuchhaltung UNIREF/90 in der SIEMAG Rechenzentrum GmbH
Erfahrungen mit der Online-Buchhaltung unter besonderer Berücksichtigung psychologischer Effekte
Die OKAL-Online-Buchhaltung
Buchhaltung im Dialog - eine Voraussetzung für mehr Wirtschaftlichkeit und Aktualität im Rechnungswesen
Neuere Entwicklungen in der Kostenrechnung
Implementierungsprobleme bei Online-Systemen im Finanz- und Rechnungswesen
Online-Kalkulation (Erzeugniskostenermittlung) und Kostenträgerrechnung bei SKF
Automatisiertes Rechnungswesen im Krankenhaus: Generelle Problematik
Erfahrungen beim Einsatz des Systems SAFIR bei der Südmilch AG
Erfahrungen mit der Online-Debitorenbuchhaltung mit Dialogbetrieb bei der B. Braun Melsungen AG
Erfahrungen mit der Integrierten Finanzbuchhaltung (IFB) in Großhandelsbetrieben
Das Online-Informationssystem im Großhandel der REWE Lebensmittel-Großhandel eG. Schwerte
Personenbezogene Aspekte bei der Gestaltung von dialogorientierten EDV-Systemen
IBM Online-Buchhaltung IFS
Online-Systeme im Finanz- und Rechnungswesen, Anwendergespräch, Berlin, 29.-30. April 1980, Gesellschaft für Informatik e.V. und Verband der Hochschullehrer für Betriebswirtschaft e.v. (WK Betriebsinformatik)
Erfahrungen mit 20 Installationen des Systems FIBBS (Finanzbuchhaltung mit Betriebswirtschaft und Bildschirmen)
Einsatzmöglichkeiten und Wirtschaftlichkeit von checklisten-orientierter Dialog-Software, dargestellt am Software-System Nixdorf COMET
Online-Vorkalkulation kaltgewalzter Bänder
Bildschirmgestützte Abwicklung 'Debitoren-Inland' im Hause Otto Wolff
PHIDAS-Finanzbuchführung und Kostenrechnung als Bestandteil eines rechnergestützten Online-Informationssystems in der Werkzeugmaschinenfabrik Kapp & Co
Einsatz von Online-Systemen im Finanz- und Rechnungswesen an einem großen Universitätsklinikum
Das Debitoren-System der Rank Xerox GmbH
Anpassung einer Online-Mandantenbuchhaltung als Informationssystem für die Auftragsabwicklung im Großanlagenbau mit Einzelfertigung
Merkmale des Einsatzes von Online-Systemen im Finanz- und Rechnungswesen
Online-orientierte Grundsatzverfahren des Kienzle-Systems 9066 für das Finanz- und Rechnungswesen
Empirische Untersuchungen bei Anwendern von Finanzbuchhaltungssystemen
Das Rechnungswesen als Teil des Dialog Informationssystems der Nürnberger Hercules Werke GmbH
Online-Systeme im Finanz- und Rechnungswesen der G. Bauknecht GmbH
MARS - Der Einsatz eines computergestützten Planungssystems am Beispiel eines Krankenhauses
AKIS - Ein Kosteninformationssystem der Hoechst AG
Online-Anwendungen im Rechnungswesen beim Großgversandhaus QUELLE
Modellgestützte Generierung von Planbilanzen mit PLASMA
FIESTA und PLAN - Dialogmodelle des BIFOA und der DATEV zur integrierten Finanz-, Ergebnis- und Steuerplanung kleiner Unternehmen
Stapel- oder Dialogverarbeitung im Rechnungswesen
Plankalkulation und Kostenträgerrechnung online als integrative Bestandteile eines EDV-Fertigungssteuerungs-Systems
Praktischer Einsatz von Buchhaltungs- und Betriebsabrechnungssystemen im Dialogbetrieb für Klein- und Mittelbetriebe
Vergleich des Leistungsumfangs von Softwaresystemen zur Online-Finanzbuchhaltung
Erfahrungen bei der Umstellung der Finanzbuchhaltung vom Stapel- auf den Dialogbetrieb
Evolving Secret Sharing: Dynamic Thresholds and Robustness
A Fiat-Shamir Transformation from Duplex Sponges
Delegating RAM Computations
Sublinear Secure Computation from New Assumptions
On Time-Space Lower Bounds for Finding Short Collisions in Sponge Hash Functions
CASE: A New Frontier in Public-Key Authenticated Encryption
A Twist on the Naor-Yung Paradigm and Its Application to Efficient CCA-Secure Encryption from Hard Search Problems
Concurrent Non-malleable Commitments from Any One-Way Function
Cryptography with Weak Privacy
On Treewidth, Separators and Yao's Garbling
Theory of Cryptography - 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part II
Theory of Cryptography, 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings
On the (Im)Possibility of Key Dependent Encryption
Tight Bounds for Classical and Quantum Coin Flipping
Improved Polynomial Secret-Sharing Schemes
Simultaneously Resettable Arguments of Knowledge
Cross and Clean: Amortized Garbled Circuits with Constant Overhead
Linear Prover IOPs in Log Star Rounds
Public-Key Steganography with Active Attacks
Secure Computation Using Leaky Correlations (Asymptotically Optimal Constructions)
Making the Best of a Leaky Situation: Zero-Knowledge PCPs from Leakage-Resilient Circuits
On the Relation Between the Ideal Cipher and the Random Oracle Models
Direct Product Hardness Amplification
Proof of Plaintext Knowledge for the Ajtai-Dwork Cryptosystem
Leakage Resilient One-Way Functions: The Auxiliary-Input Setting
Quantum Key-Length Extension
Public-Key Encryption from Homogeneous CLWE
Policy-Compliant Signatures
Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings
On the Cryptographic Complexity of the Worst Functions
Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II
Towards Defeating Backdoored Random Oracles: Indifferentiability with Bounded Adaptivity
One-Message Zero Knowledge and Non-malleable Commitments
Standard Security Does Not Imply Indistinguishability Under Selective Opening
Cryptography in the Common Haar State Model: Feasibility Results and Separations
Watermarking PRFs Under Standard Assumptions: Public Marking and Security with Extraction Queries
Adaptive Versus Static Multi-oracle Algorithms, and Quantum Security of a Split-Key PRF
Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I
Security Amplification of Threshold Signatures in the Standard Model
Separations in Circular Security for Arbitrary Length Key Cycles
Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology
On Constructing One-Way Permutations from Indistinguishability Obfuscation
Theory of Cryptography - 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III
Multi-Party Functional Encryption
Algebraic Partitioning: Fully Compact and (almost) Tightly Secure Cryptography
Hierarchical Threshold Secret Sharing
Incrementally Verifiable Computation via Incremental PCPs
Practical Secure Delegated Linear Algebra with Trapdoored Matrices
Simulation-Based Concurrent Non-malleable Commitments and Decommitments
Can a Public Blockchain Keep a Secret?
Topology-Hiding Communication from Minimal Assumptions
Threshold Signatures from One-Way Functions
Black-Box Timed Commitments from Time-Lock Puzzles
General Statistically Secure Computation with Bounded-Resettable Hardware Tokens
Faster and Shorter Password-Authenticated Key Exchange
Functional Encryption for Randomized Functionalities in the Private-Key Setting from Minimal Assumptions
Bet-or-Pass: Adversarially Robust Bloom Filters
On Basing Size-Verifiable One-Way Functions on NP-Hardness
Beyond MPC-in-the-Head: Black-Box Constructions of Short Zero-Knowledge Proofs
Grafting Key Trees: Efficient Key Management for Overlapping Groups
On the Security Loss of Unique Signatures
The Knowledge Tightness of Parallel Zero-Knowledge
Theory of Cryptography - 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part III
Traitor-Tracing from LWE Made Simple and Attribute-Based
Reusable Two-Round MPC from DDH
Vive Galois! Part 1: Optimal SIMD Packing and Packed Bootstrapping for FHE
Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts
Overcoming Cryptographic Impossibility Results Using Blockchains
Verifiable Random Functions from Standard Assumptions
New Upper Bounds for Evolving Secret Sharing via Infinite Branching Programs
On the Optimal Communication Complexity of Error-Correcting Multi-server PIR
Continuous Non-malleable Codes
A Unified Approach to Deterministic Encryption: New Constructions and a Connection to Computational Entropy
On the Correlation Intractability of Obfuscated Pseudorandom Functions
Towards Non-Black-Box Lower Bounds in Cryptography
On the Power of Amortization in Secret Sharing: d-Uniform Secret Sharing and CDS with Constant Information Rate
Almost-Optimally Fair Multiparty Coin-Tossing with Nearly Three-Quarters Malicious
A Universally Composable Mix-Net
Concurrent Composition of Differential Privacy
The Universal Composable Security of Quantum Key Distribution
Standard versus Selective Opening Security: Separation and Equivalence Results
Theory of Cryptography - 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part III
Topology-Hiding Computation
Two-Message Statistically Sender-Private OT from LWE
Intrusion-Resilience Via the Bounded-Storage Model
List-Decoding of Linear Functions and Analysis of a Two-Round Zero-Knowledge Argument
Privacy-Enhancing Cryptography: From Theory into Practice
Algebraic Distinguishers: From Discrete Logarithms to Decisional Uber Assumptions
Secret Sharing and Non-Shannon Information Inequalities
Dense Model Theorems and Their Applications
Blockwise p-Tampering Attacks on Cryptographic Primitives, Extractors, and Learners
Lower Bounds for Levin-Kolmogorov Complexity
Efficient Oblivious Pseudorandom Function with Applications to Adaptive OT and Secure Computation of Set Intersection
On Derandomizing Yao's Weak-to-Strong OWF Construction
Untangling the Security of Kilian's Protocol: Upper and Lower Bounds
Designing Proof of Human-Work Puzzles for Cryptocurrency and Beyond
Towards Characterizing Complete Fairness in Secure Two-Party Computation
(Efficient) Universally Composable Oblivious Transfer Using a Minimal Number of Stateless Tokens
How to Obfuscate MPC Inputs
Conjunctive, Subset, and Range Queries on Encrypted Data
Vector and Functional Commitments from Lattices
Bringing People of Different Beliefs Together to Do UC
Revisiting Updatable Encryption: Controlled Forward Security, Constructions and a Puncturable Perspective
Primary-Secondary-Resolver Membership Proof Systems
On the Multi-user Security of LWE-Based NIKE
Quantum Interactive Oracle Proofs
Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation
Optimal Error Correction Against Computationally Bounded Noise
On the Cost of Post-compromise Security in Concurrent Continuous Group-Key Agreement
Secure Obfuscation in a Weak Multilinear Map Model
On the Circular Security of Bit-Encryption
Perfect Zero Knowledge: New Upperbounds and Relativized Separations
Lower Bounds on Assumptions Behind Registration-Based Encryption
On the Instantiability of Hash-and-Sign RSA Signatures
Garbling XOR Gates "For Free" in the Standard Model
Security Amplification for the Cascade of Arbitrarily Weak PRPs: Tight Bounds via the Interactive Hardcore Lemma
The Round-Complexity of Black-Box Zero-Knowledge: A Combinatorial Characterization
Universal Composition with Global Subroutines: Capturing Global Setup Within Plain UC