Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Automatizované počítání maximálního počtu obsluhovaných klientů v klient-server systémech
Autoři

MORAVCOVÁ VAŘEKOVÁ Pavlína VAŘEKOVÁ Ivana ČERNÁ Ivana

Rok publikování 2008
Druh Článek ve sborníku
Konference Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova Client-Server systems; formal verification; infinite state systems; component-based system analysis
Popis V článku prezentujeme algoritmus který pro klient-server systémy řeší otázky typu: "Jaký je maximální počet klientů, kteří můžou být zároveň v zadaných stavech?"
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.