About: Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as well. In this paper we show some possibilities of using a verification tool Uppaal on some variants of pessimistic concurrency control protocols used in real-time database management systems. We present some possible models of such protocols expressed as nets of timed automata, which are a modeling language of Uppaal.
  • Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as well. In this paper we show some possibilities of using a verification tool Uppaal on some variants of pessimistic concurrency control protocols used in real-time database management systems. We present some possible models of such protocols expressed as nets of timed automata, which are a modeling language of Uppaal. (en)
Title
  • Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal
  • Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal (en)
skos:prefLabel
  • Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal
  • Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal (en)
skos:notation
  • RIV/61989100:27240/08:00018953!RIV11-MSM-27240___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1M0567)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 379906
http://linked.open...ai/riv/idVysledku
  • RIV/61989100:27240/08:00018953
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • real-time database systems, pessimistic protocol, 2-phase-locking, timed automata, model checking, verification, verification tool, Uppaal (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [67B13862098E]
http://linked.open...v/mistoKonaniAkce
  • Polish Inform. Processing Society, Polsko
http://linked.open...i/riv/mistoVydani
  • NEW YORK
http://linked.open...i/riv/nazevZdroje
  • INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Kot, Martin
http://linked.open...vavai/riv/typAkce
http://linked.open...ain/vavai/riv/wos
  • 000268848500098
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • IEEE, 345 E 47TH ST, NEW YORK, NY 10017 USA
https://schema.org/isbn
  • 978-83-60810-14-9
http://localhost/t...ganizacniJednotka
  • 27240
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 78 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software