![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
Název česky | Automatizované počítání maximálního počtu obsluhovaných klientů v klient-server systémech |
---|---|
Autoři | |
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 | |
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: |