Zobrazeno 1 - 10
of 196
pro vyhledávání: '"Kuo JH"'
It is well understood that solving parity games is equivalent, up to polynomial time, to model checking of the modal mu-calculus. It is a long-standing open problem whether solving parity games (or model checking modal mu-calculus formulas) can be do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a914f7863047ada9f69c729192e4ae6
http://hdl.handle.net/10044/1/94990
http://hdl.handle.net/10044/1/94990
It is increasingly important to analyze system security quantitatively using concepts such as trust, reputation, cost, and risk. This requires a thorough understanding of how such concepts should interact so that we can validate the assessment of thr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7b11a44f4c8d85749637e7759cb30e1
We present a tool that supports the understanding and validation of mechanisms that numerically aggregate trust evidence { which may stem from heterogenous sources such as geographical information, reputation, and threat levels. The tool is based on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52d86fbf946588c17653aaba1edd3fae
We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their owner- ship structure. Di erent colorings of the same graph are identi ed if they determine the same winning regions an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14c713045314af6448b3e2844256d3e1
http://hdl.handle.net/10044/1/95101
http://hdl.handle.net/10044/1/95101
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.