Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Traveler Information Systems -- Application of Advanced Model-Driven Techniques in Performance Engineering...”
Cover Image
Read Now

2
by Aldini, Alessandro, Bernardo, Marco, Corradini, Flavio
Published 2010
Springer London
Table of Contents: “...-Oriented Modeling -- Component-Oriented Functional Verification -- Component-Oriented Performance...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Mobile Computing -- Performance Evaluation at the Software Architecture Level -- Software Architecture...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
“... several topics including modeling languages; model transformations, functional and performance modeling...”
Cover Image
Read Now

6
Published 2009
Springer Berlin Heidelberg
“..., interaction, synthesis, composition, session types, contracts, verification, security, and performance...”