Cantitate/Preț
Produs

Graph Transformation: Lecture Notes in Computer Science, cartea 14774

Editat de Russ Harmer, Jens Kosiol
en Limba Engleză Paperback – 11 iul 2024

Resursele prezentate în acest volum, bazate pe lucrările celei de-a 17-a Conferințe Internaționale de Transformare a Grafurilor (ICGT 2024), oferă cititorului acces la cele mai noi metodologii de calcul și modelare structurală. Observăm în această ediție o selecție riguroasă de 13 lucrări care pun accent pe aplicabilitatea practică a transformărilor de grafuri în medii informatice complexe. Volumul este structurat progresiv, începând cu fundamentul teoretic — unde descoperim progrese în categoriile adezive și dinamica cauzală — și continuând cu aplicații specifice în analiza de risc și securitatea API-urilor prin analiză de tip 'taint'. Complementar volumului Applications of Graph Transformations with Industrial Relevance de Andy Schürr, care se concentrează pe studii de caz din industrie, Graph Transformation acoperă zona cercetării fundamentale de ultimă oră și a instrumentelor emergente, precum utilizarea algoritmilor RETE localizați pentru interogări incrementale. În secțiunea finală, găsim explorări neconvenționale, cum ar fi utilizarea modelelor de limbaj (chatbot) pentru predarea conceptelor de rescriere a grafurilor, ceea ce indică o deschidere a domeniului către noile tehnologii AI. Organizarea pe secțiuni tematice permite o navigare eficientă între demonstrațiile matematice riguroase și prezentările de software destinate explorării automate a modelelor cu constrângeri.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 40201 lei

Preț vechi: 50251 lei
-20%

Puncte Express: 603

Carte disponibilă

Livrare economică 05-19 mai


Specificații

ISBN-13: 9783031642845
ISBN-10: 3031642848
Pagini: 252
Ilustrații: XII, 239 p. 82 illus., 36 illus. in color.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

De ce să citești această carte

Pentru cercetătorii și inginerii software interesați de modelarea sistemelor complexe, acest volum din seria Lecture Notes in Computer Science oferă soluții concrete pentru analiza riscurilor și optimizarea interogărilor de grafuri. Cititorul câștigă o perspectivă actualizată asupra modului în care transformările de grafuri pot repara erori de modelare sau pot verifica izolarea tranzacțiilor, fiind un instrument de lucru esențial pentru cei care dezvoltă sisteme bazate pe structuri de date relaționale.


Descriere scurtă

This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during  July 10–11, 2024.

The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool and Blue Skies Presentations.

Cuprins

.- Graphs, logics and transformations for effective risk analysis.
.- Theoretical Advances.
.- Linear-Time Graph Programs for Unbounded-Degree Graphs.
.- A Bigraph Paper of Sorts.
.- Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
.- Extension and Restriction of Derivations in Adhesive Categories.
.- Causal Graph Dynamics and Kan Extensions.
.- Application Domains.
.- The ‘Causality’ Quagmire for Formalised Bond Graphs.
.- Localized RETE for Incremental Graph Queries.
.- Using application conditions to rank graph transformations for graph repair.
.- Deriving Delay-Robust Timed Graph Transformation System Models.
.- Taint Analysis for Graph APIs Focusing on Broken Access Control.
.- Tool and Blue Skies Presentations.
.- Checking Transaction Isolation Violations with Graph Queries.
.- Can I teach graph rewriting to my chatbot?.
.- A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models.