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:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Realistická aplikace formálních metod v komponentových systémech Institut Teoretické Informatiky