Simulation and formal analysis of workflow models using model transformations [abstract] /

QR kód

Simulation and formal analysis of workflow models using model transformations [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Kovács Máté
Testületi szerző:	Conference of PhD students in computer science (5.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2006
Sorozat:	Conference of PhD Students in Computer Science 5
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59866

Hasonló tételek

Towards Modelling IoT Workflows
Szerző: Márkus András
Megjelent: (2022)

Simulating IoT Workflows in DISSECT-CF-Fog
Szerző: Márkus András, et al.
Megjelent: (2023)

Simulations on a fractal growth model [abstract] /
Szerző: Marchis Julia
Megjelent: (2006)

Model transformations on the preprocessor metamodel graph transformation approach : [abstract] /
Szerző: Vidács László
Megjelent: (2006)

Workflow processing using ERP objects
Szerző: Selmeci Attila, et al.
Megjelent: (2015)

Automatic generation of compiled model transformations [abstract] /
Szerző: Horváth Ákos
Megjelent: (2006)

Transformation and simulation of domain specific languages [abstract] /
Szerző: Vágó Dávid
Megjelent: (2006)

Metamodel-based modeling and model transformation framework supporting inheritance and constrants [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2004)

Actuator behaviour modelling in IoT-Fog-Cloud simulation
Szerző: Márkus András, et al.
Megjelent: (2021)

Verification of UML 2 state machines by automated model transformation to the SAL model checker [abstract] /
Szerző: Sisak Áron
Megjelent: (2008)

A comparison of simulation softwares in modelling crop structure management with a stochastic linear programming model [absztrakt] /
Szerző: Kovács Sándor
Megjelent: (2009)

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /
Szerző: Kovács József
Megjelent: (2006)

Ein analog-elektrisches Modell zur Simulation der Lymphokinetik
Szerző: Hantos Zoltán M.
Megjelent: (1969)

Dependability modeling of fault-tolerant systems using aspect-oriented modeling techniques [abstract] /
Szerző: Domokos Péter, et al.
Megjelent: (2004)

Constraint validation support in visual model transformation systems
Szerző: Lengyel László, et al.
Megjelent: (2005)

Building high capacity machine translation models for knowledge distillation and production workflows
Szerző: Oravecz Csaba, et al.
Megjelent: (2024)

Mathematical models fof simulation of continuous grinding process with recirculation
Szerző: Buzáné Kis Piroska, et al.
Megjelent: (2002)

Analysis of the SCAN service polling model
Szerző: Bunday Brian D.
Megjelent: (1991)

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

Model checking of visual modeling languages [abstract] /
Szerző: Schmidt Ákos
Megjelent: (2004)

Modeling web service interaction using Markovian processes [abstract] /
Szerző: Legány Csaba, et al.
Megjelent: (2008)

Numerical simulations of stochastic electrical circuits using C# [abstract] /
Szerző: Kolářová Edita
Megjelent: (2006)

IPv6 macromobility simulation using OMNeT++ environment [abstract] /
Szerző: Imre Sándor, et al.
Megjelent: (2002)

Dynamic simulations [abstract] /
Szerző: Sára Levente
Megjelent: (2000)

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

Economic Network Analysis based on Infection Models
Szerző: Krész Miklós, et al.
Megjelent: (2014)

Economic Network Analysis Based on Infection Models
Szerző: Krész Miklós, et al.
Megjelent: (2018)

The basics of roleoriented modelling [abstract] /
Szerző: Csiszár Tibor, et al.
Megjelent: (2002)

Text cleaning with transformer language models for Hungarian
Szerző: Madarász Gábor, et al.
Megjelent: (2025)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

Formal properties of literal shuffle
Szerző: Bérard Béatrice
Megjelent: (1987)

Parameter optimization of infection models [abstract] /
Szerző: Csernenszky András, et al.
Megjelent: (2010)

Cybernetic approach to selecting models for simulation and management of investment portfolios a general concept : [absztrakt] /
Szerző: Marchev Angel
Megjelent: (2009)

Competing field crops and energy orchards by multiperiodic linear programming model and simulation programme package [absztrakt] /
Szerző: Csipkés Margit, et al.
Megjelent: (2009)

Detecting Noisy Labels Using Early Stopped Models
Szerző: Hergert Lea, et al.
Megjelent: (2024)

Execution time reduction in function oriented scientific workflows
Szerző: Al-Haboobi Ali, et al.
Megjelent: (2021)

Compression and processing of still images using wavelet transformation [abstract] /
Szerző: Alföldi Attila, et al.
Megjelent: (1998)

Modeling of grid monitoring systems [abstract] /
Szerző: Gombás Gábor
Megjelent: (2006)

Analysis of the completion time of Markov reward models and its application
Szerző: Telek Miklós, et al.
Megjelent: (1998)

Simplifying the model of a complex industrial process using input variable selection [abstract] /
Szerző: Székely Nóra
Megjelent: (2002)