Verification of reconfiguration mechanisms in service-oriented [abstract] /

QR kód

Verification of reconfiguration mechanisms in service-oriented [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Gönczy 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/59856

Hasonló tételek

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

Parallel verification and enumeration of tournaments [abstract] /
Szerző: Szűcs László, et al.
Megjelent: (2000)

On the verification of abstract data types
Szerző: Varga L.
Megjelent: (1983)

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

Structural views in object-oriented databases [abstract] /
Szerző: Lomic Marijana
Megjelent: (1998)

Tutorials on recurrent neural networks and signature verification
Szerző: Malik Muhammad Imran

Dilemmas in reconfiguring the National Health Service in rural Wales (2013)
Szerző: Heathcote Gaye
Megjelent: (2013)

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

Effective inclusion methods for verification of ReLU neural networks
Szerző: Szász Attila, et al.
Megjelent: (2024)

Using object oriented techniques at implementing compilers [abstract] /
Szerző: Porkoláb Zoltán
Megjelent: (1998)

Semantic web services in .NET aspect [abstract] /
Szerző: Farkas Péter, et al.
Megjelent: (2004)

Evaluating the effectiveness of object oriented metrics for bug prediction [abstract] /
Szerző: Siket István
Megjelent: (2008)

Keeping P4 switches fast and fault-free through automatic verification
Szerző: Lukács Dániel, et al.
Megjelent: (2019)

Proving quality of service constraints of multimedia systems [abstract] /
Szerző: Mészáros Mónika
Megjelent: (2006)

Fundamental concepts of object oriented databases
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (1993)

Innovative uses of programming constructs supporting aspect-oriented programming [abstract] /
Szerző: Espák Miklós
Megjelent: (2004)

Object oriented model for parameter estimation of partially separable functions [abstract] /
Szerző: Järvi Jaakko
Megjelent: (1998)

Service composition for end-users
Szerző: Hylli Otto, et al.
Megjelent: (2014)

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

Dual convolutional neural network classifier with pyramid attention network for image-based kinship verification
Szerző: Rachmadi Reza Fuad, et al.
Megjelent: (2023)

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

Binary tomography reconstruction based on shape orientation
Szerző: Lukity Tibor, et al.
Megjelent: (2016)

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

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

Adaptation of a refactoring DSL for the object-oriented paradigm
Szerző: Németh Dávid J., et al.
Megjelent: (2022)

A hierarchical algorithm for link-sharing, real-time and priority services [abstract] /
Szerző: Berzsényi Miklós
Megjelent: (1998)

Magnetically Reconfigurable Toroidal Metasurfaces
Szerző: Acharyya Nityananda, et al.
Megjelent: (2024)

Framework for generating object-oriented databases from conceptual specifications
Szerző: Kovács György, et al.
Megjelent: (1997)

Object-oriented model for partially separable functions in parameter estimation
Szerző: Järvi Jaakko
Megjelent: (1999)

A communication system based on web services and its application in image processing [abstract] /
Szerző: Jónás Richárd, et al.
Megjelent: (2002)

Object-Oriented Program Verification (Objektum-orientált program bizonyítás)
Szerző: Juhász András
Megjelent: (2001)

Application oriented variable fixing methods for the multiple depot vehicle scheduling problem
Szerző: Dávid Balázs, et al.
Megjelent: (2013)

Market oriented integration of MS-Windows-based tools for distributed decision support
Szerző: Biró M., et al.
Megjelent: (1993)

Test of inter-working and translation mechanisms between IPv4 and IPv6 [abstract] /
Szerző: Somlai G., et al.
Megjelent: (2000)

Towards a Simulation as a Service Platform for the Cloud-to-Things Continuum
Szerző: Wilson Valdez, et al.
Megjelent: (2024)

Comparison of oscillometry devices using active mechanical test loads
Szerző: Dandurand Ronald J., et al.
Megjelent: (2019)

Uniform approach to parameter transmission mechanisms, coercions, optional parameters and patterns
Szerző: Jokinen Matti
Megjelent: (1990)

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

No Soundness in the Real World On the Challenges of the Verification of Deployed Neural Networks /
Szerző: Szász Attila, et al.
Megjelent: (2025)

Impact of antenna orientation on localization accuracy using RSSI-based trilateration [abstract] /
Szerző: Csík Dominik, et al.
Megjelent: (2024)