Keywords: تبدیل گراف; General routing problem; Graph transformation; Integer programming; Column generation;
مقالات ISI تبدیل گراف (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تبدیل گراف; Graph programs; GP 2; Rule-based programming; Computational completeness; Random access machines; Graph transformation;
Keywords: تبدیل گراف; Graph transformation; Domain specific languages; e-Motions; Behaviour-aware morphisms;
Keywords: تبدیل گراف; Model-driven software engineering; Graph transformation; Graph constraint; Topology control; Static analysis; Correct by construction;
Keywords: تبدیل گراف; Graph transformation; Theorem proving;
Keywords: تبدیل گراف; Autonomic computing; Quasi-synchronous checkpointing; Graph transformation; Happened before relation; Immediate dependency relation;
Keywords: تبدیل گراف; Graph transformation; Inheritance; Abstraction; Adhesive HLR category
Keywords: تبدیل گراف; (Partial) pullback complement; Exponential; Universal mono; (Pullback, double-pullback, single-pushout, double-pushout, sesqui-pushout, span, partial pullback complement) rewriting; Graph transformation;
Keywords: تبدیل گراف; Graph transformation; Double-pushout approach; Higher-order transformations;
Keywords: تبدیل گراف; Meta-model evolution; Model migration; Graph transformation
Keywords: تبدیل گراف; Lighting design; Outdoor lighting; Control system; Graph transformation; Artificial intelligence; Rule-based
Keywords: تبدیل گراف; Graph transformation; Hyperedge replacement; Natural language analysis; Reader; Millstream system
Keywords: تبدیل گراف; Model-driven engineering; Graph transformation; Meta-modelling; Genericity; Reusability
Keywords: تبدیل گراف; Process calculus; Hierarchical graph; Graph transformation
Keywords: تبدیل گراف; Metamodel; Graphs; Graph transformation; User interface; User interface patterns
Ordering chemical graphs by RandiÄ and sum-connectivity numbers
Keywords: تبدیل گراف; Chemical graph; RandiÄ index; Sum-connectivity index; Graph transformation; 05C15;
Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain
Keywords: تبدیل گراف; Attribute grammars; Sharing; Graph traversal; Graph transformation; Directed acyclic graphs;
New sufficient conditions for αα-redundant vertices
Keywords: تبدیل گراف; Maximum independent set; Independence number; Stable set; Stability number; αα-redundant; Graph transformation; Graph reduction
Local confluence analysis of hypergraph transformation systems with application conditions based on MM-functors and Agg
Keywords: تبدیل گراف; MM-adhesive transformation system; Graph transformation; Agg; Hypergraph transformation; MM-functor; Application condition
Scenario-driven analysis of systems specified through graph transformations
Keywords: تبدیل گراف; Graph transformation; Scenario-driven model checking; State space reduction
Graph transformations and software engineering: Success stories and lost chances
Keywords: تبدیل گراف; Graph transformation; Software engineering; Model; Model transformation; Visual language; Dynamic system; Evolving system
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Keywords: تبدیل گراف; BPMN; BPM; MDA; Formal semantics; Graph transformation
Trees with the seven smallest and eight greatest Harary indices
Keywords: تبدیل گراف; Tree; Harary index; Graph transformation
A formal approach to the specification and transformation of constraints in MDE
Keywords: تبدیل گراف; Model-driven engineering; Model transformation; Constraints; Category theory; Graph transformation; Diagram Predicate Framework;
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
Keywords: تبدیل گراف; Semantics; Metamodel; Dynamic Meta Modeling; Graph transformation; Inheritance
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
Keywords: تبدیل گراف; refactoring; IEC 61499; graph transformation; function block; discrete control
Specifying behavioral semantics of UML diagrams through graph transformations
Keywords: تبدیل گراف; Graph transformation; Graph grammars; Visual programming; Visual languages; UML; Behavioral semantics; Object-oriented systems
Generic and reflective graph transformations for checking and enforcement of modeling guidelines
Keywords: تبدیل گراف; Graph transformation; Generic rules; Reflection
A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities
Keywords: تبدیل گراف; Self-management; QoS; Reconfigurable Transport protocol; Middleware; Automated adaptive deployment; Graph transformation; Dynamic architecture
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
Keywords: تبدیل گراف; first-order satisfiability problem; high-level conditions; high-level programs; graph transformation; weak adhesive HLR categories;
Visual specification of measurements and redesigns for domain specific visual languages
Keywords: تبدیل گراف; Domain specific visual language; Meta-modelling; Measurement; Redesign; Graph transformation; Graphical pattern
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Keywords: تبدیل گراف; Visual languages; Graph transformation; Triple graph grammars; Graph constraints; Patterns; Meta-modelling; Specification of semantics
Topological mappings between graphs, trees and generalized trees
Keywords: تبدیل گراف; Applied graph theory; Graph transformation; Hierarchical graphs
Visual knowledge specification for conceptual design: Definition and tool support
Keywords: تبدیل گراف; Architectural design; Conceptual design; Knowledge specification; Visual language; Graph transformation
Pattern-based design evolution using graph transformation
Keywords: تبدیل گراف; Design pattern; Graph transformation; Graph grammar; Visual language; Software evolution
A network flow approach for static and dynamic traffic grooming in WDM networks
Keywords: تبدیل گراف; Network flow approach; Traffic grooming; Graph transformation; Minimum edge-cost flow problem
AutoGen: Easing model management through two levels of abstraction
Keywords: تبدیل گراف; Model management; Graph transformation; Graph grammar; Visual programming; Schema interoperation
On translating UML models into graph transformation systems
Keywords: تبدیل گراف; Graph transformation; UML semantics; Validation; CASE tool
Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation
Keywords: تبدیل گراف; Chemical graph; chemical reaction; explicit chemical reaction; graph transformation; edge relabeling; PerlMol;
Rule-Based Programming with Diaplan
Keywords: تبدیل گراف; visual language; visual programming; rule-based programming; graph transformation;
Towards Contract-based Testing of Web Services
Keywords: تبدیل گراف; Web Services; Design by Contract; graph transformation;
Graph Transformation in Relational Databases
Keywords: تبدیل گراف; Tool support; Graph transformation; Pattern matching; Relational databases;
Termination of High-Level Replacement Units with Application to Model Transformation
Keywords: تبدیل گراف; Transformation units; graph transformation; termination; refactoring;
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis
Keywords: تبدیل گراف; refactoring; restructuring; graph transformation; critical pair analysis; evolution conflicts; parallel changes;
From UML Models to Graph Transformation Systems
Keywords: تبدیل گراف; Graph transformation; UML semantics; validation; CASE tool;
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse
Keywords: تبدیل گراف; editor generation; visual editor; Eclipse; graph transformation; visual languages;
Synchronization Algebras with Mobility for Graph Transformations
Keywords: تبدیل گراف; graph transformation; Synchronized Hyperedge Replacement; synchronization algebra; mobility; Fusion Calculus;
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Keywords: تبدیل گراف; UML; graph transformation; integrated formal semantics; OCL;
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation
Keywords: تبدیل گراف; Meta-Modelling; Graph Transformation; Modelling and Simulation; Component Frameworks; Event Graphs;
Methods of checking general safety criteria in UML statechart specifications
Keywords: تبدیل گراف; System safety; Software specification; Safety criteria; UML statecharts; OCL; Graph transformation; Reachability analysis;