Extending a system with verified components [abstract] /

QR kód

Extending a system with verified components [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Dávid Ákos Pozsgai Tamás Kozma László
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/59844

Hasonló tételek

On extended simple eco-grammar systems [abstract] /
Szerző: Csima Judit
Megjelent: (1998)

Towards verifiable design patterns [abstract] /
Szerző: Petri Dániel
Megjelent: (2002)

The components for intelligent Tutoring systems [abstract] /
Szerző: Devedzic Vladan, et al.
Megjelent: (1998)

On extended simple eco-grammar systems
Szerző: Csima Judit
Megjelent: (1998)

A verified computational technique to locate chaotic regions of a Hénon system [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2004)

Verified mobile code repository in the intelligent space [abstract] /
Szerző: Tejfel Máté, et al.
Megjelent: (2008)

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)

Extending the Sparkle Core language with object [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2004)

Investigation of a delayed differential equation with verified computing technique [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2006)

Extending the Sparkle Core language with object abstraction
Szerző: Tejfel Máté, et al.
Megjelent: (2005)

Verified integration of differential equations with discrete delay
Szerző: Rauh Andreas, et al.
Megjelent: (2022)

Definition of global properties of distributed computer systems by the analysis of system components method
Szerző: Just J. R.
Megjelent: (1982)

Verified interval enclosure techniques for robust gain scheduling controllers
Szerző: Kersten Julia, et al.
Megjelent: (2020)

Cooperating distributed grammar systems with random context grammars as components
Szerző: Křivka Zbyněk, et al.
Megjelent: (2011)

Community detection by using the extended modularity
Szerző: Griechisch Erika, et al.
Megjelent: (2011)

Verified localization of trajectories with prescribed behaviour in the forced damped pendulum
Szerző: Lévai Balázs László
Megjelent: (2012)

A performance model for load test components [abstract] /
Szerző: Csorba Máté J., et al.
Megjelent: (2006)

Phoneme classification using Kernel principal component analysis [abstract] /
Szerző: Kocsor András, et al.
Megjelent: (2000)

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)

Verified solution to optimal control problems of elastic rod motion based on the Ritz method
Szerző: Kostin Georgy
Megjelent: (2020)

From verified parameter identification to the design of interval observers and cooperativity-preserving controllers an experimental case study /
Szerző: Rauh Andreas, et al.
Megjelent: (2020)

The metric dimension of two-dimensional extended meshes
Szerző: Adar Ron, et al.
Megjelent: (2018)

Test component assignment and scheduling in a load testing environment [abstract] /
Szerző: Bozóki Ferenc, et al.
Megjelent: (2008)

The extended analog computer and functions computable in a digital sense
Szerző: Piekarz Monika
Megjelent: (2010)

The cost-effective and component based intelligent Tutoring Shell - the GET-BITS model [abstract] /
Szerző: Jerinic Ljubomir, et al.
Megjelent: (1998)

Component-based error detection of P4 programs
Szerző: Tóth Gabriella, et al.
Megjelent: (2021)

An approach based on genetic algorithms for clustering classes in components
Szerző: Jişa Dan Laurenţiu
Megjelent: (2005)

Extraction of affective components from texts and their use in natural language dialogue systems
Szerző: Tatai Gábor, et al.
Megjelent: (2004)

DRM systems in wireless environment [abstract] /
Szerző: Móga Rita, et al.
Megjelent: (2006)

Building complex systems of web services [abstract] /
Szerző: Gönczy László
Megjelent: (2004)

Implemeting a component-based tool for interactive synthesis of UML statechart diagrams
Szerző: Koskinen Johannes, et al.
Megjelent: (2002)

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

On restricted insertion-deletion systems [abstract] /
Szerző: Katsányi István
Megjelent: (2004)

Improving DHT-based file system performance with B-trees [abstract] /
Szerző: Dávid Róbert, et al.
Megjelent: (2006)

Leveraging Structural Health Monitoring Data Through Avatars to Extend the Service Life of Mass Timber Buildings
Szerző: Riggio Mariapaola, et al.
Megjelent: (2022)

Synthesis of the synchronization of general pipeline systems
Szerző: Ugron Balázs, et al.
Megjelent: (2005)

Open information systems Serbian enterprises standing and perspectives : [abstract] /
Szerző: Milovanovic Slavoljub
Megjelent: (1998)

Properties of an intelligent cardiovascular monitoring system [abstract] /
Szerző: Balázs Gábor, et al.
Megjelent: (2004)

Model based optimization and verification of IT systems [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2004)

Benchmarking advanced features in database systems [abstract] /
Szerző: Gábor András
Megjelent: (2004)