This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F10%3A86084669%21RIV13-MSM-27240___/
n11http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F10%3A86084669%21RIV13-MSM-27240___
rdf:type
n7:Vysledek skos:Concept
rdfs:seeAlso
http://ceur-ws.org/Vol-567/
dcterms: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 priority assignment algorithms. We present some possible models of such algorithms 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 priority assignment algorithms. We present some possible models of such algorithms expressed as nets of timed automata, which are a modeling language of Uppaal.
dcterms:title
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
skos:prefLabel
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
skos:notation
RIV/61989100:27240/10:86084669!RIV13-MSM-27240___
n3:aktivita
n8:P
n3:aktivity
P(1M0567)
n3:cisloPeriodika
2010
n3:dodaniDat
n6:2013
n3:domaciTvurceVysledku
n18:5693756
n3:druhVysledku
n19:J
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n5:predkladatel
n3:idSjednocenehoVysledku
271851
n3:idVysledku
RIV/61989100:27240/10:86084669
n3:jazykVysledku
n10:eng
n3:klicovaSlova
Uppaal; verification tool; verification; model checking; timed automata; priority assignment; real-time database systems
n3:klicoveSlovo
n4:real-time%20database%20systems n4:verification%20tool n4:priority%20assignment n4:model%20checking n4:Uppaal n4:verification n4:timed%20automata
n3:kodStatuVydavatele
NL - Nizozemsko
n3:kontrolniKodProRIV
[8E1DB29F9167]
n3:nazevZdroje
CEUR Workshop Proceedings. Volume 567
n3:obor
n13:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n9:1M0567
n3:rokUplatneniVysledku
n6:2010
n3:svazekPeriodika
567
n3:tvurceVysledku
Kot, Martin
s:issn
1613-0073
s:numberOfPages
8
n11:organizacniJednotka
27240