yusuke1997/dblp-id-title huggingface dataset:
Which Buttons and Bars? An Exercise in Community Participation in Decision Support Software Development
EO Big Data Connectors and Analytics for Understanding the Effects of Climate Change on Migratory Trends of Marine Wildlife
Estimating Impacts of Environmental Interventions in Monitoring Programs Requires Conceptual Data Models and Robust Statistical Processing - (Position Paper)
Automated Semantic Validation of Crowdsourced Local Information - The Case of the Web Application "Climate Twins"
Planning and Scheduling for Optimizing Communication in Smart Grids
The Czech e-Infrastructure and the European Grid Infrastructure Perspective
Civic Issues Reporting and Involvement of Volunteers as a Phenomenon in the Czech Republic
Environmental Software Systems. Frameworks of eEnvironment - 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings
Exposure Modeling of Traffic and Wood Combustion Emissions in Northern Sweden - Application of the Airviro Air Quality Management System
AGINFRA PLUS: Running Crop Simulations on the D4Science Distributed e-Infrastructure
"My Environment" - A Dashboard for Environmental Information on Mobile Devices
CLARITY Screening Service for Climate Hazards, Impacts and Effects of the Adaptation Options
A Pilot Interactive Data Viewer for Cancer Screening
Towards a Search Driven System Architecture for Environmental Information Portals
Ecohydrology Models without Borders? - Using Geospatial Web Services in EcohydroLib Workflows in the United States and Australia
Understanding Connectivity between Groundwater Chemistry Data and Geological Stratigraphy via 3D Sub-surface Visualization and Analysis
ELFIE - The OGC Environmental Linked Features Interoperability Experiment
New Methods of Flash Flood Forecasting in the Czech Republic
The Emergency Response Intelligence Capability Tool
A Framework for Optimal Assessment of Planning Investments in Urban Water Systems
National INSPIRE Geoportal of the Czech Republic
Interpolation of Data Measured by Field Harvesters: Deployment, Comparison and Verification
Hough-Transform-Based Interpolation Scheme for Generating Accurate Dense Spatial Maps of Air Pollutants from Sparse Sensing
Building an Environmental Information System for Personalized Content Delivery
A Performance Assessment of the Unified Model
Design of a Web-Service for Formal Descriptions of Domain-Specific Data
3D Modelling as a Tool for Landscape Restoration and Analysis
Vattenwebb: A Transparent Service to Support Decision Makers in Achieving Improved Water Status
Business Intelligence and Geographic Information System for Hydrogeology
Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools
An Integrated Decision-Support Information System on the Impact of Extreme Natural Hazards on Critical Infrastructure
Information Technology and Solid Residue Management: A Case of Study Using Freeware and Social Networks
Methodology and Information System for Evaluating Environmental Protection Expenditure Efficiency at the Local Level
Modelling and Simulation Support of EMS Processes
Patterns of Use of Computer Support for Environmental Accreditation in Rural New Zealand
Integrated Assessments of River Health Using Decision Support Software
An Integrated Workflow Architecture for Natural Hazards, Analytics and Decision Support
A Provenance Maturity Model
Incorporate Sensor Data and Dynamic Modeling for Real Time Control of Sewer Systems
The HABITATS Approach to Build the INSPIRE Infrastructure
A Model for Semantic Annotation of Environmental Resources: The TaToo Semantic Framework
Integration of Macro and Micro Sustainability Issues: The Need for 'Engineering Accounting'
Combined Aggregation and Column Generation for Land-Use Trade-Off Optimisation
Modelling of Air Flow Analysis for Residential Homes Using Particle Image Velocimetry
Environmental Statistics at the CZSO: Past Development and Future Trends
Dynamic Data Driven Ensemble for Wildfire Behaviour Assessment: A Case Study
Models in the Cloud: Exploring Next Generation Environmental Software Systems
Knowledge-Based Service Architecture for Multi-risk Environmental Decision Support Applications
Can Volunteered Geographic Information Be a Participant in eEnvironment and SDI?
Environmental Modelling with Reverse Combinatorial Auctions: CRAB Software Modification for Sensitivity Analysis
Large Scale Surveillance, Detection and Alerts Information Management System for Critical Infrastructure
GeneDBase - Genetic Database of Selected Species of Mammals in the Czech Republic
Mapping of Illegal Dumps in the Czech Republic - Using a Crowd-Sourcing Approach
Challenges in Modelling of Environmental Semantics
Provenance in Systems for Situation Awareness in Environmental Monitoring
Construction of a Bio-economic Model to Estimate the Feasibility and Cost of Achieving Water Quality Targets in the Burnett-Mary Region, Queensland
How to Build Integrated Climate Change Enabled EDSS
GENASIS Information System: A Global Environmental Assessment of Persistent Organic Pollutants
Conceptual Model Enhancing Accessibility of Data from Cancer-Related Environmental Risk Assessment Studies
Corporate Sustainability Reporting and Measuring Corporate Performance
A Cmputer-Based Emission Inventory - Practical Concepts to Support Regional Air Quality Planning
Using Virtual Research Environments in Agro-Environmental Research
Using Negotiation for Dynamic Composition of Services in Multi-organizational Environmental Management
Web Services for Incorporation of Air Quality and Climate Change in Long-Term Urban Planning for Europe
Case Libraries and Information Theoretic Case Matching for Soil and Water Resources Management
SUDPLAN's Experiences with the OGC-Based Model Web Services for the Climate Change Usage Area
Will "environmental" be replaced by "extrasensory"?
Can We Use the Relationship Between Within-Field Elevation and NDVI as an Indicator of Drought-Stress?
Decision Making and Strategic Planning for Disaster Preparedness with a Multi-Criteria-Analysis Decision Support System
Web 3D Visualization of Noise Mapping for Extended INSPIRE Buildings Model
C2-SENSE - Pilot Scenario for Interoperability Testing in Command & Control Systems for Crises and Disaster Management: Apulia Example
GENASIS System Architecture - On the Way from Environmental Data Repository towards a Research Infrastructure
Self-Organising Maps for the Classification and Diagnosis of River Quality from Biological and Environmental Data
Advanced Data Analytics and Visualisation for the Management of Human Perception of Safety and Security in Urban Spaces
The Plan4business Approach to Transfer Open Data into Real Estate Businesses
Water Pollution Reduction: Reverse Combinatorial Auctions Modelling Supporting Decision-Making Processes
The Future Internet Enablement of the Environment Information Space
Teaching EIS Development - The EU Canada Curriculum on Environmental Informatics
The NCI High Performance Computing and High Performance Data Platform to Support the Analysis of Petascale Environmental Data Collections
Environmental Software Systems. Computer Science for Environmental Protection - 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Identifying Smart Solutions for Fighting Illegal Logging and Timber Trade
Temporal Changes in Biological Communities Affecting Models for Evaluating of Ecological Status
Implementing a Glossary and Vocabulary Service in an Interdisciplinary Environmental Assessment for Decision Makers
Some Current Issues in Using Diffuse Large Datasets for Environmental Modelling in New Zealand
WWW-Technology based Hydrological Information and Decision Support System
An SMS and Email Weather Warning System for Sheep Producers
TiTiMaKe: A Distributed Service Architecture for Security Applications
The Use of Simulations for the Need of Environment Protection
Computational Infrastructure of SoilGrids 2.0
Measuring and Benchmarking Corporate Environmental Performance
GMP Data Warehouse - a Supporting Tool of Effectiveness Evaluation of the Stockholm Convention on Persistent Organic Pollutants
SVOD - System for Visualizing of Oncological Data and Their Semantic Enhancement
Methodology for the Efficiency Evaluation of the Municipal Environmental Protection Expenditure
The Global Warming, Sustainability, and Environmental Tax: Dynamic General Equilibrium Model
The Comparison of Selected Risk Management Methods for Project Management
Is On-Line Data Analysis Safety? Pitfalls Steaming from Automated Processing of Heterogeneous Environmental Data and Possible Solutions
Training Support for Crisis Managers with Elements of Serious Gaming
Using Smartphones to Profile Mobility Patterns in a Living Lab for the Transition to E-mobility
A Cotton Irrigator's Decision Support System and Benchmarking Tool Using National, Regional and Local Data
Environmental Information Systems on the Internet: A Need for Change
A Generic Microservice Architecture for Environmental Data Management
Development of an Information Portal for the Lake Winnipeg Basin Initiative
Environmental Software Systems. Infrastructures, Services and Applications - 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015. Proceedings
Autocalibration of Environmental Process Models Using a PAC Learning Hypothesis
PROMETHEE-GAIA Method as a Support of the Decision-Making Process in Evaluating Technical Facilities
Framework for Enabling Technical and Organizational Interoperability in the Management of Environmental Crises and Disasters
Towards Linked Data Conventions for Delivery of Environmental Data Using netCDF
Mobile Location-Based Augmented Reality Framework
Scenario Planning Case Studies Using Open Government Data
Decision-Support System for Urban Air Pollution under Future Climate Conditions
Environmental Software Systems in Water Resources: Problems and Approaches - Workshop Report
A Domain Specific Language to Simplify the Creation of Large Scale Federated Model Sets
CETOCOEN Project: From the Laboratory to the Field and Beyond
Modelling of Environmental Risk Management under Information Asymmetry
Approaches to Fuse Fixed and Mobile Air Quality Sensors
Evolution of Environmental Information Models - Reusable Properties Bound to a Persistent URI
INSPIREd Air Quality Reporting - European Air Quality e-Reporting Based on INSPIRE
Big Data Architecture for Environmental Analytics
data.reegle.info - A New Key Portal for Open Energy Data
Big Data Storage and Management: Challenges and Opportunities
The SensLog Platform - A Solution for Sensors and Citizen Observatories
Acquisition and Representation of Knowledge for Atmospheric New Particle Formation
GeneralBlock: A C++ Program for Identifying and Analyzing Rock Blocks Formed by Finite-Sized Fractures
Using Semantic Search as a Means of Support for Research Projects
Predicting Nitrogen Excretion of Dairy Cattle with Machine Learning
Development of a Catchment Management Tool to Assess Environmental Risk from Nutrient Loadings Using Open Source GIS
Real-Time Visualization of Methane Emission at Commercial Dairy Farms
Pedestrian Localization in Closed Environments - Android Prototype
Geo-analysis of Landscape Level Degradation and Natural Risk Formation under Uncertainty - A Case Study of Selected Czech Urban Watercourses
Decision Support of Waste Management Expenditures Efficiency Assessment
Semantics-Based Weaving of UML Sequence Diagrams
Solving Constraints in Model Transformations
Technical Debt in Model Transformation Specifications
Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings
Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report
Application of Reflection in Model Transformation Languages
Clone Detection for Graph-Based Model Transformation Languages
Correctness of Incremental Model Synchronization with Triple Graph Grammars
Generic Model Transformations: Write Once, Reuse Everywhere
On the concurrent versioning of metamodels and models: challenges and possible solutions
A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations
Typing in Model Management
On Specifying and Visualising Long-Running Empirical Studies
Efficient Model Transformations by Combining Pattern Matching Strategies
Bidirectional Transformations: A Cross-Discipline Perspective
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Constraint-Driven Modeling through Transformation
Systematic Recovery of MDE Technology Usage
Extracting Object Interactions Out of Software Contracts Using Model Transformations
Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization
Proceedings of the 1st International Workshop on Model Comparison in Practice, IWMCP '10, Malaga, Spain, July 1, 2010
Checking Model Transformation Refinement
Yet Another Three QVT Languages
Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool
Empirical Assessment of Business Model Transformations Based on Model Simulation
The Impact of Class Model Redesign on State Machines
Viatra 3: A Reactive Model Transformation Platform
Generic tool for visualization of model differences
Improving Higher-Order Transformations Support in ATL
Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform
Towards a Rewriting Logic Semantics for ATL
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations
Towards Incremental Execution of ATL Transformations
NMF: A Multi-platform Modeling Framework
Tracing Program Transformations with String Origins
Experimentation with a Big-Step Semantics for ATL Model Transformations
A formal approach to three-way merging of EMF models
Fine-grained metamodel-assisted model comparison
A Rete Network Construction Algorithm for Incremental Pattern Matching
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models
Model Superimposition in Software Product Lines
Type-Safe Model Transformation Languages as Internal DSLs in Scala
Translatability and Translation of Updated Views in ModelJoin
A Collection Operator for Graph Transformation
Specification-Driven Test Generation for Model Transformations
Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models
Enabling the Reuse of Stored Model Transformations Through Annotations
Supporting Parallel Updates with Bidirectional Model Transformations
A Formal Framework for Prototyping Executable Semantics in ATL
Traceability Visualization in Model Transformations with TraceVis
Domain-Specific Composition of Model Deltas
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification
A Sound Execution Semantics for ATL via Translation Validation - Research Paper
Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Towards a generic operation recorder for model evolution
Analysing Graph Transformation Rules through OCL
Requirements Engineering in Model-Transformation Development: An Interview-Based Study
Reusable and Correct Endogenous Model Transformations
Managing Dependent Changes in Coupled Evolution
Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance
Automatically Deriving the Specification of Model Editing Operations from Meta-Models
Typing Model Transformations Using Tracts
What is needed for managing co-evolution in MDE?
Programmed Graph Rewriting with Time for Simulation-Based Design
Lifting Transformational Models of Product Lines: A Case Study
Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages
Model Querying with FunnyQT - (Extended Abstract)
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations
Domain-Specific Optimization in Digital Forensics
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
On the Usage of TGGs for Automated Model Transformation Testing
Rule-Based Repair of EMF Models: An Automated Interactive Approach
Composition Techniques for Rule-Based Model Transformation Languages
Temporal Model-Based Diagnostics Generation for HVAC Control Systems
Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study
From Sequence Diagrams to State Machines by Graph Transformation
Combining Specification-Based and Code-Based Coverage for Model Transformation Chains
A Survey of Model Transformation Design Pattern Usage
Industrial Software Rejuvenation Using Open-Source Parsers
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations
Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
Proofs-as-Model-Transformations
Graph Constraint Evaluation over Partial Models by Constraint Rewriting
Search Computing: A Model-Driven Perspective
From State- to Delta-Based Bidirectional Model Transformations
A Search Based Test Data Generation Approach for Model Transformations
CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models
Walk Your Tree Any Way You Want
Operation-based conflict detection
Implementing Business Process Recovery Patterns through QVT Transformations
Foundations for Bidirectional Programming
Theory and Practice of Model Transformations - 9th International Conference, ICMT@STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings
A Transformation Workbench for Building Information Models
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract)
Approaches for Model Transformation Reuse: Factorization and Composition
The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis
Model Transformation with Immutable Data
Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
Genetic-Programming Approach to Learn Model Transformation Rules from Examples
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars
A Constructive Approach to Testing Model Transformations
Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering
A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax
Translation of QVT Relations into QVT Operational Mappings
Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars
Automatic Model Generation Strategies for Model Transformation Testing
Towards Functional Model Transformations with OCL
BXE2E: A Bidirectional Transformation Approach for Medical Record Exchange
Using Models of Partial Knowledge to Test Model Transformations
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns
Change Propagation in an Internal Model Transformation Language
Reverse Engineering of Model Transformations for Reusability
Correct Reuse of Transformations is Hard to Guarantee
The Design, Evolution, and Use of KernelF - An Extensible and Embeddable Functional Language
Migrating Automotive Product Lines: A Case Study
Performance in Model Transformations: Experiments with ATL and QVT
Theory and Practice of Model Transformations - 7th International Conference, ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings
Streaming Model Transformations: Scenarios, Challenges and Initial Solutions
A Graph Query Language for EMF Models
The Epsilon Transformation Language
Reusable Model Transformation Components with bentō
Surviving the Heterogeneity Jungle with Composite Mapping Operators
On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations
Model Synchronisation: Definitions for Round-Trip Engineering
Requirements for a model comparison language
Transformation of UML and OCL Models into Filmstrip Models
Schema Transformations and Query Rewriting in Ontological Databases with a Faceted Interface
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models
Triple Graph Grammars in the Large for Translating Satellite Procedures
Robust Real-Time Synchronization between Textual and Graphical Editors
Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations
How Clean Is Your Sandbox? - Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations
Fact or Fiction - Reuse in Rule-Based Model-to-Model Transformation Languages
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
Mirador: a synthesis of model matching strategies
Achieving Rule Interoperability Using Chains of Model Transformations
Collaborative modeling: the new deal
Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare
Paisley: Pattern Matching à la Carte
Toward Bidirectionalization of ATL with GRoundTram
Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Synthesis of OCL Pre-conditions for Graph Transformation Rules
Constructing and Navigating Non-invasive Model Decorations
An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool
Safe Composition of Transformations
Towards a Family of Model Transformation Languages
Semantic grouping of model changes
Testing MOFScript Transformations with HandyMOF
The GReTL Transformation Language
Bidirectional Transformation of Model-Driven Spreadsheets
Experiments with a High-Level Navigation Language
Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings
Live Model Transformations Driven by Incremental Pattern Matching
Model Migration with Epsilon Flock
Colex: a web-based collaborative conflict lexicon
Developing eMoflon with eMoflon
Towards a Language for Graph-Based Model Transformation Design Patterns
Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa
CoqTL: An Internal DSL for Model Transformation in Coq
Iterative Development of Consistency-Preserving Rule-Based Refactorings
Model comparison: the marrow of model transformation
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Metamodel Matching Based on Planar Graph Edit Distance
F-Alloy: An Alloy Based Model Transformation Language
Search-Based Model Transformations with MOMoT
Testing Transformation Models Using Classifying Terms
The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite Systems
Partial Test Oracle in Model Transformation Testing
Optimization of Visitor Performance by Reflection-Based Analysis
Interactive Visual Analytics for Efficient Maintenance of Model Transformations
Code Generation by Model Transformation
Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models
Towards Multi-level Aware Model Transformations
Model-to-Model Transformations By Demonstration