Login / Signup
Formal Methods for Quality of Service Analysis in Component-Based Distributed Computing.
Chunmin Yang
Barrett R. Bryant
Carol C. Burt
Rajeev R. Raje
Andrew M. Olson
Mikhail Auguston
Published in:
Trans. SDPS (2004)
Keyphrases
</>
quality of service
distributed computing
formal methods
qos requirements
resource management
response time
cloud computing
ad hoc networks
distributed environment
real time
web services
end to end
multimedia
artificial intelligence
database
software engineering
wireless networks
fault tolerance
ip networks