The 26 full papers and 9 tool demonstration essays of this proceedings were first presented at the Seventh International Conference on the Quantitative Evaluation of Systems, held in September 2010 in Williamsburg, Virginia and organized by the Department of Computer Science at the College of William and Mary. The material is grouped by session, with individual paper topics that include model checking multivariate state rewards, a prediction model for software perfomance in symmetric multiprocessing environments, and the measurable space of stochastic processes. The papers, which are illustrated and include all relevant code and math, present new research, theory, and applications by scientists based mainly in Europe and the US. Author indexed only. Annotation ©2010 Book News, Inc., Portland, OR (booknews.com)
