Accelerated verification of stability of simultaneous service multiserver systems.

Alexander S. Rumyantsev Evsey Morozov

Published in: ICUMT (2015)

Keyphrases

management system
expert systems
information services
service providers
building blocks
end users
distributed systems
complex systems
retrieval systems
data sets
computing systems
heavy traffic
enterprise systems
queueing systems
service systems
service requirements
automated verification
protocol specification