yusuke1997/dblp-id-title huggingface dataset:
New Co-design Methodology for Real-time Embedded Systems
A Method for Model Checking Feature Interactions
Reactive Autonomic System Performance Modeling and Self-monitoring with Category Theory
Hybrid Wikis: Empowering Users to Collaboratively Structure Information
Fuzzy Ontology-based Spatial Data Warehouse for Context-aware Search and Recommendation
Itaipu Data Stream Management System - A Stream Processing System With Business Users in Mind
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012
An Algorithm for Automatic Service Composition
Towards Accurate Cervical Cancer Detection: Leveraging Two-Stage CNNs for Pap Smear Analysis
Nagare Media Engine: Towards an Open-Source Cloud- and Edge-Native NBMP Implementation
A Problem-, Quality-, and Aspect-Oriented Requirements Engineering Method
Model-Driven Security Smell Resolution in Microservice Architecture Using LEMMA
Automated and Collaborative Annotation of Digital Video to Enable Semantic and Personalized Search
A Service Framework for Multi-tenant Enterprise Application in SaaS Environments
Fence - A Context-free Grammar Parser with Constraints for Model-driven Language Specification
Is There Any Correlation between Refactoring and Design Smell Occurrence?
Wireless Sensor Networks with QoS for E-Health and e-Emergency Applications
Cloud Data Warehousing for SMEs
Early Performance Analysis in the Design of Spatial Databases
Analysing Large-Scale Scrum Practices with Respect to Quality Requirements Challenges
A Selection of Development Processes, Tools, and Methods for Organizations that Share a Software Framework between Internal Projects
Semantic and Structural Performer Clustering in BPMN Models Transformed into Social Network Models
Work Behavior Prediction during Software Projects Development
A Synthesis of a Knowledge Management Framework for Sports Event Management
Transformation of Organization of Software Requirements Specifications
Scheduling Strategies for Risk Mitigation
Towards Building a Reputation-Based Microservices Trust Model Using Similarity Domains
Prioritization of Software Process Improvements - A COQUALMO-based Case Study and Derived Decision Support Scheme
Towards More Relational Feature Models
A Metamodel for Defining Development Methodologies
Requirement Engineering in Startups
An Architecture for the Design of Platforms Supporting Responsive Environments
Software Process Conversion Rules in ImPPros - Quality Models Conversion for a Software Process Implementation Environment
Reformulating Component Identification As Document Analysis Problem - Towards Automated Component Procurement
Model-driven hmi development - can meta-case tools relieve the pain?
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems
A Model Based Approach for Developing Adaptive Multimodal Interactive Systems
Integrating Model Driven and Model Checking to Mine Design Patterns
Impact of Wrapped System Call Mechanism on Commodity Processors
ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 1, Athens, Greece, July 22-24, 2010
Platform-Independence in Model-Driven Development of Graphical User Interfaces for Multiple Devices
QuEF - An Environment for Quality Evaluation on Model-Driven Web Engineering Approaches
A Performance Prediction Model for Google App Engine Using Colored Petri Net
SADT/IDEF0 for Augmenting UML, Agile and Usability Engineering Methods
Towards Incremental Model-Driven Software Modernisation: Feedback from an Industrial Proof of Concept in Railways
On Digital Search Trees - A Simple Method for Constructing Balanced Binary Trees
Reduction in Mutation Testing of Java Classes
Clickstream data mining assistance a case-based reasoning task model
Towards an Accurate Prediction of the Question Quality on Stack Overflow using a Deep-Learning-Based NLP Approach
A Decision-Making Approach Combining Process Mining, Data Mining and Business Intelligence
Automatic Generation of Data Merging Program Codes
Analysis of Material Shape for Recycling Through Digital Image Processing (ANFOR)
Practitioners' Experiences on Developing Graphical Modeling Editors: A Survey
Models for Interaction, Integration and Evolution of Pre-Existent Systems at Architectural Level
Overview of Current Commercial PaaS Platforms
The Saga Pattern in a Reactive Microservices Environment
Determining Severity and Recommendations in Process Non-Conformance Instances
Feature Model Extraction from Product Source Codes based on the Semantic Aspect
A New Approach for Automatic Development of Reconfigurable Real-Time Systems
Toward a Correct Implementation of LwM2M Client with Event-B
CRMPSoC : New Solution for Feasible Reconfigurable MPSoC
Common Criteria Based Security Scenario Verification
Machine Learning for a Better Agriculture Calendar
Improving relief classification with contextual merging
Modelling Units of Real Property Rights
A Global Grid Model Based on "Constant Area" Quadrilaterals
A Fuzzy Logic Approach to Urban Land-Use Mapping
GIS in Teacher Education - Facilitating GIS Applications in Secondary School Geography
Defining GIS - Assessment of ScanGIS
Concurrency Control in Distributed Geographical Database Systems
Spatio-Temporal Modeling of Dynamic Phenomena in GIS
DIGITRAFFIC - Digital Data Infrastructure for Traffic System
Terrain Mobility Model and Determination of Optimal Off-Road Route
Remote Sensing as a Tool in the Aquatic Macrophyte Mapping of a Eutrophic Lake: a Comparison Between Visual and Digital Classification
MMS (Multimedia Messaging Service) Enabled Web Map Dispatching Solution for Location Enhanced Fieldwork Management
A Card-based Visual Query System for Geographical Information Systems
Thematical Spatial Data by Using the Third Dimension
Estimation of distance-decay parameters: GIS-based indicators of recreational accessibility
Exploring data-rich sources of environmental information using geostatistics
Routing Using Geospatial Information System Analysis
Location-based services: A database perspective
On the use of parameterization in the implementation of geometry object-classes
Matching of Datasets
Urban land use mapping using register data and standard GIS
A time-series animation of urban growth in Copenhagen metropolitan area
Concept Testing of Some Visualization Methods for Geographic Metadata
On the Adequacy of GIS-Generated Weed Maps for Precision Farming
Need for Context-Aware Topographic Maps in Mobile Devices
Integrating ontologies: Assessing the use of the Cyc ontology for cadastral applications
Distributed handling of level of detail surfaces with binary triangle trees
Mobile E-Commerce and Location-Based Services: Technology and Requirements
The Issue of Uncertainty Propagation in Spatial Decision Making
Structural modelling for geographical information systems using icons
Proceedings of the 8th Scandinavian Research Conference on Geographical Information Science, ScanGIS 2001, 25th - 27th June 2001, Ås, Norway
A software system for large dynamic maps based on networked geographical databases
Multiscale representation of terrain models using average interpolating wavelets
Finding the Mainstream
Knowledge Extraction by Visual Data Mining of Metadata in Site Planning
GIS-based monitoring of urban changes of development
Automated georeferencing of aerial images
Searching Information from Screen Maps
Compressing digital elevation models with wavelet decomposition
ScanGIS'2003 - The 9th Scandinavian Research Conference on Geographical Information Science, 4-6 June 2003, Espoo, Finland - Proceedings
Map generalization: Information theoretic approach to feature elimination
Parallel Distributed Application Framework for Earth Science Data Processing
Managing resolution in multi-resolution databases
Retrieval of geographic data using ellipsoidal quadtrees
Framework and Requirements for Management of Topographic Data in Europe
Description of the content of geographic datasets
Visualization of the temporal dimension in multimedia presentations of spatial phenomena
Spatial Coherence for Visual Motion Analysis, First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004, Revised Papers
Analysis and Interpretation of Multiple Motions Through Surface Saliency
A Generative Model of Dense Optical Flow in Layers
Segregation of Moving Objects Using Elastic Matching
Comparison of Edge-Driven Algorithms for Model-Based Motion Estimation
Local Descriptors for Spatio-temporal Recognition
2D Motion Description and Contextual Motion Analysis: Issues and New Models
Motion Detection Using Wavelet Analysis and Hierarchical Markov Models
On the Relationship Between Image and Motion Segmentation
Dense Optic Flow with a Bayesian Occlusion Model
3D SSD Tracking from Uncalibrated Video
Structure from Periodic Motion
Risk Based Access Control Using Classification
ePet: when cellular phone learns to recognize its owner
3rd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2010, Chicago, IL, USA, October 4, 2010
Secure IoT Stream Data Management and Analytics with Intel SGX
The Right Files at the Right Time
ConfigChecker: A tool for comprehensive security configuration analytics
Automated Decision Making for Active Cyber Defense: Panel Discussion
Trust based security auto-configuration for smart assisted living environments
Integrated Adaptive Cyber Defense: Integration Spiral Results
PolicyGlobe: a framework for integrating network and operating system security policies
Policy Specialization to Support Domain Isolation
Applying Cybersecurity Challenges to Medical and Vehicular Cyber Physical Systems
Captchæcker: Reconfigurable CAPTCHAs based on automated security and usability analysis
Configuring audience-oriented privacy policies
From Cybersecurity to Collaborative Resiliency
Improving Efficiency of Spam Detection using Economic Model
Decision Theoretic Approach to Detect Anomalies beyond Enterprise Boundaries
A declarative approach for secure and robust routing
A toolkit for automating and visualizing VLAN configuration
Management of heterogeneous security access control configuration using an ontology engineering approach
Rule Configuration Checking in Secure Cooperative Data Access
On the Detection of Adversarial Attacks against Deep Neural Networks
Vulnerability Hierarchies in Access Control Configurations
Modeling and Checking the Security of DIFC System Configurations
Using Probability Densities to Evolve more Secure Software Configurations
Reasoning about the Security Configuration of SAN Switch Fabrics
Action Recommendation for Cyber Resilience
Firewalling Scenic Routes: Preventing Data Exfiltration via Political and Geographic Routing Policies
Detecting Roles and Anomalies in Hospital Access Audit Logs
Increasing Android Security Using a Lightweight OVAL-Based Vulnerability Assessment Framework
SEGrapher: Visualization-based SELinux Policy Analysis
Cut me some security
Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions
Security Analysis of the Chinese Web: How well is it protected?
Cue: a framework for generating meaningful feedback in XACML
Authorizing and directing configuration updates in contemporary it infrastructures
A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure
It's too complicated, so i turned it off!: expectations, perceptions, and misconceptions of personal firewalls
FlowMon: Detecting Malicious Switches in Software-Defined Networks
FlowChecker: configuration analysis and verification of federated openflow infrastructures
Completeness of discovery protocols
Building robust authentication systems with activity-based personal questions
Estimating Risk Boundaries for Persistent and Stealthy Cyber-Attacks
A software toolkit for visualizing enterprise routing design
Proof of an interdomain policy: a load-balancing multi-homed network
AMIAnalyzer: Security analysis of AMI configurations
Towards a Unified Modeling and Verification of Network and System Security Configurations
Automation for Creating and Configuring Security Manifests for Hardware Containers
Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense, SafeConfig@CCS 2016, Vienna, Austria, October 24, 2016
Security policy refinement using data integration: a position paper
Discovery of Unexpected Services and Communication Paths in Networked Systems
Who Touched My Mission: Towards Probabilistic Mission Impact Assessment
Enterprise Risk Assessment Based on Compliance Reports and Vulnerability Scoring Systems
A Flexible Approach Towards Security Validation
Behavior-dependent Routing: Responding to Anomalies with Automated Low-cost Measures
4th Symposium on Configuration Analytics and Automation, SafeConfig 2011, Arlington, VA, USA, October 31 - November 1, 2011
n-ROPdetector: Proposal of a Method to Detect the ROP Attack Code on the Network
Protecting Enterprise Networks through Attack Surface Expansion
GCNav: Generic Configuration Navigation System
Proceedings of the 2014 Workshop on Cyber Security Analytics, Intelligence and Automation, SafeConfig '14, Scottsdale, Arizona, USA, November 3, 2014
CloudChecker: An imperative framework for cloud configuration management
Measuring Firewall Security
Configuring Software and Systems for Defense-in-Depth
Programmable Diagnostic Network Measurement with Localization and Traffic Observation
AHEAD: A New Architecture for Active Defense
A Security Enforcement Framework for Virtual Machine Migration Auction
Towards an integrated approach to role engineering
Multi-aspect security configuration assessment
Towards network security policy generation for configuration analysis and testing
A First Look: Using Linux Containers for Deceptive Honeypots
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009
A Generic Data Flow Security Model
Human Factors, Defaults, and Automation: Challenges and Opporunities
Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks
A Graph-Based Impact Metric for Mitigating Lateral Movement Cyber Attacks
A Dynamic Configuration Validation Language
Predicting Zero-day Malicious IP Addresses
A moving target environment for computer configurations using Genetic Algorithms
Proceedings of the 2017 Workshop on Automated Decision Making for Active Cyber Defense, SafeConfig@CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017
Security Considerations in Data Center Configuration Management
Federated Autonomic Network Access Control
SCAP Based Configuration Analytics for Comprehensive Compliance Checking
Cyber Resilience-by-Construction: Modeling, Measuring & Verifying
Cost-aware systemwide intrusion defense via online forensics and on-demand detector deployment
Proceedings of the 2015 Workshop on Automated Decision Making for Active Cyber Defense, SafeConfig 2015, Denver, Colorado, USA, October 12, 2015
Dynamic cross domain information sharing: a concept paper on flexible adaptive policy management
Generating policy based security implementation in enterprise network: a formal framework
A One-Year Perspective on Exposed In-memory Key-Value Stores
Tracing Advanced Persistent Threats in Networked Systems
SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian?
Towards Eliminating Configuration Errors in Cyber Infrastructure
Secure and Tamper Proof Code Management
Step One Towards Science of Security
An Iterative and Toolchain-Based Approach to Automate Scanning and Mapping Computer Networks
Automated Security Management [papers from SafeConfig 2012, Baltimore Inner Harbor, MD, USA]
FAME: a firewall anomaly management environment
Machine-Learning Accelerated Studies of Materials with High Performance and Edge Computing
OpenSHMEM I/O Extensions for Fine-Grained Access to Persistent Memory Storage
Examining and Presenting Cycles in Temperature Logs from the Vulcan Diffractometer
Simulation Workflows in Minutes, at Scale for Next-Generation HPC
A Vision for Coupling Operation of US Fusion Facilities with HPC Systems and the Implications for Workflows and Data Management
Towards Standard Kubernetes Scheduling Interfaces for Converged Computing
Automated Integration of Continental-Scale Observations in Near-Real Time for Simulation and Analysis of Biosphere-Atmosphere Interactions
Accelerating Science and Engineering Discoveries Through Integrated Research Infrastructure for Experiment, Big Data, Modeling and Simulation - 22nd Smoky Mountains Computational Sciences and Engineering Conference, SMC 2022, Virtual Event, August 23-25, 2022, Revised Selected Papers
Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation - 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers
Software Defined Infrastructure for Operational Numerical Weather Prediction
The Convergence of HPC, AI and Big Data in Rapid-Response to the COVID-19 Pandemic
Improving Seismic Wave Simulation and Inversion Using Deep Learning
Navigating the Road to Successfully Manage a Large-Scale Research and Development Project: The Exascale Computing Project (ECP) Experience
Atomic Defect Identification with Sparse Sampling and Deep Learning
Probability Flow for Classifying Crystallographic Space Groups
Machine Learning for First Principles Calculations of Material Properties for Ferromagnetic Materials
Enabling Scientific Discovery at Next-Generation Light Sources with Advanced AI and HPC
Performance Evaluation of Python Based Data Analytics Frameworks in Summit: Early Experiences
The Macro Impacts of Micro-Climates on the Energy Consumption of Urban Buildings
Applying Recent Machine Learning Approaches to Accelerate the Algebraic Multigrid Method for Fluid Simulations
Truly Heterogeneous HPC: Co-design to Achieve What Science Needs from HPC
Machine Learning Approaches to High Throughput Phenotyping
Finding Novel Links in COVID-19 Knowledge Graph Using Graph Embedding Techniques
Unsupervised Anomaly Detection in Daily WAN Traffic Patterns
Recurrent Multi-task Graph Convolutional Networks for COVID-19 Knowledge Graph Link Prediction
Exploring the Spatial Relationship Between Demographic Indicators and the Built Environment of a City
Braid-DB: Toward AI-Driven Science with Machine Learning Provenance
Fast and Accurate Predictions of Total Energy for Solid Solution Alloys with Graph Convolutional Neural Networks
Fulfilling the Promises of Lossy Compression for Scientific Applications
Lessons Learned on the Interface Between Quantum and Conventional Networking
Machine Learning for the Complex, Multi-scale Datasets in Fusion Energy
Towards a Software Development Framework for Interconnected Science Ecosystems
Advanced Image Reconstruction for MCP Detector in Event Mode
Visualization as a Service for Scientific Data
High-Performance Ptychographic Reconstruction with Federated Facilities
Software Framework for Federated Science Instruments
Mobility Aware Computation Offloading Model for Edge Computing
Real-Time Edge Processing During Data Acquisition
Smoky Mountain Data Challenge 2021: An Open Call to Solve Scientific Data Challenges Using Advanced Data Analytics and Edge Computing
NVIDIA's Cloud Native Supercomputing
On the Use of BLAS Libraries in Modern Scientific Codes at Scale
Usage Pattern Analysis for the Summit Login Nodes
Toward an Autonomous Workflow for Single Crystal Neutron Diffraction
The Heavy Lifting Treatment Helper (HeaLTH) Algorithm: Streamlining the Clinical Trial Selection Process
Memory vs. Storage Software and Hardware: The Shifting Landscape
Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI - 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers
Reconstructing Piezoelectric Responses over a Lattice: Adaptive Sampling of Low Dimensional Time Series Representations Based on Relative Isolation and Gradient Size
Randomized Multilevel Monte Carlo for Embarrassingly Parallel Inference
A Framework for Linking Urban Traffic and Vehicle Emissions in Smart Cities
A Systemic Approach to Facilitating Reproducibility via Federated, End-to-End Data Management
A Data-Integration Analysis on Road Emissions and Traffic Patterns
SMC 2022 Data Challenge: Summit Spelunkers Solution for Challenge 2
Understanding and Leveraging the I/O Patterns of Emerging Machine Learning Analytics
Distributed Transaction and Self-healing System of DAOS
Calvera: A Platform for the Interpretation and Analysis of Neutron Scattering Data
Implementation of a Framework for Deploying AI Inference Engines in FPGAs
Smoky Mountain Data Challenge 2020: An Open Call to Solve Data Problems in the Areas of Neutron Science, Material Science, Urban Modeling and Dynamics, Geophysics, and Biomedical Informatics
An Study on the Resource Utilization and User Behavior on Titan Supercomputer
A Hardware Co-design Workflow for Scientific Instruments at the Edge
Preconditioners for Batched Iterative Linear Solvers on GPUs
Building an Integrated Ecosystem of Computational and Observational Facilities to Accelerate Scientific Discovery
Computational Workflow for Accelerated Molecular Design Using Quantum Chemical Simulations and Deep Learning Models
Data Federation Challenges in Remote Near-Real-Time Fusion Experiment Data Processing
Improving the Performance of the GMRES Method Using Mixed-Precision Techniques
Large-Scale Neural Solvers for Partial Differential Equations
Towards a Universal Classifier for Crystallographic Space Groups: A Trickle-Down Approach to Handle Data Imbalance
Investigating Relationships in Environmental and Community Health: Correlations of Environment, Urban Morphology, and Socio-economic Factors in the Los Angeles Metropolitan Statistical Area
At-the-Edge Data Processing for Low Latency High Throughput Machine Learning Algorithms
Enabling ISO Standard Languages for Complex HPC Workflows
NREL Stratus - Enabling Workflows to Fuse Data Streams, Modeling, Simulation, and Machine Learning
DataStates: Towards Lightweight Data Models for Deep Learning
Maintaining Trust in Reduction: Preserving the Accuracy of Quantities of Interest for Lossy Compression
Data Analysis and Visualization of Traffic in Chicago with Size and Landuse-Aware Vehicle to Buildings Assignment
Finding Hidden Patterns in High Resolution Wind Flow Model Simulations
From Smart Homes to Smart Laboratories: Connected Instruments for Materials Science
Use It or Lose It: Cheap Compute Everywhere
Scaling SQL to the Supercomputer for Interactive Analysis of Simulation Data
Toward Real-Time Analysis of Synchrotron Micro-Tomography Data: Accelerating Experimental Workflows with AI and HPC
Industrial Experience Deploying Heterogeneous Platforms for Use in Multi-modal Power Systems Design Workflows
Integrating Deep Learning in Domain Sciences at Exascale
Self-learning Data Foundation for Scientific AI
The INTERSECT Open Federated Architecture for the Laboratory of the Future
Transitioning from File-Based HPC Workflows to Streaming Data Pipelines with openPMD and ADIOS2
Adrastea: An Efficient FPGA Design Environment for Heterogeneous Scientific Computing and Machine Learning
ALAMO: Autonomous Lightweight Allocation, Management, and Optimization
Scalable Data-Intensive Geocomputation: A Design for Real-Time Continental Flood Inundation Mapping
Virtual Infrastructure Twins: Software Testing Platforms for Computing-Instrument Ecosystems
Self-describing Digital Assets and Their Applications in an Integrated Science and Engineering Ecosystem
Patterns and Predictions: Generative Adversarial Networks for Neighborhood Generation
Using Statistical Analysis and Computer Vision to Understand Uncertainty in Subsurface Exploration
Performance Improvements on SNS and HFIR Instrument Data Reduction Workflows Using Mantid
Secure Collaborative Environment for Seamless Sharing of Scientific Knowledge
Steiner Systems for Topology-Transparent Access Control in MANETs