Dual-Priced Modal Transition Systems with Time Durations (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00057322 |
|---|---|
| Název v anglickém jazyce | Dual-Priced Modal Transition Systems with Time Durations |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 3 |
| Výčet všech uvedených jednotlivých tvůrců | Nikola Beneš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2050587) Jan Křetínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3503054) Kim G. Larsen (státní příslušnost: DK - Dánské království) Mikael H. Moller (státní příslušnost: DK - Dánské království) Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057) |
| Popis výsledku v anglickém jazyce | Modal transition systems are a well-established specification formalism for a high-level modelling of component-based software systems. We present a novel extension of the formalism called modal transition systems with durations where time durations aremodelled as controllable or uncontrollable intervals. We further equip the model with two kinds of quantitative aspects: each action has its own running cost per time unit, and actions may require several hardware components of different costs. We ask the question, given a fixed budget for the hardware components, what is the implementation with the cheapest long-run average reward. We give an algorithm for computing such optimal implementations via a reduction to a new extension of mean payoff games with time durations and analyse the complexity of the algorithm. |
| Klíčová slova oddělená středníkem | modal transition systems; mean payoff games |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-642-28717-6_12 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference |
|---|---|
| ISBN | 9783642287169 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 16 |
| Strana od-do | 122-137 |
| Název nakladatele | Springer |
| Místo vydání | Heidelberg Dordrecht London New York |
| Místo konání akce | Merida, Venezuela |
| Datum konání akce | 2012 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | GA0 - Grantová agentura České republiky (GA ČR) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00057322!RIV13-GA0-14330___ |
| Datum poslední aktualizace výsledku | 04.09.2013 |
| Kontrolní číslo | 43535482 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno MŠMT v roce 2013 | RIV/00216224:14330/12:00057322 v dodávce dat RIV13-MSM-14330___/02:2 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GA | GAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010 - 2014) |
|---|---|
| Projekt podporovaný GA ČR v programu GA | GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013) |
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace Specifický výzkum na vysokých školách, poskytovatel MŠMT |