Theory and Application of Multi-Formalism Modeling

Theory and Application of Multi-Formalism Modeling

Marco Gribaudo (Politecnico di Milano, Italy) and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy)
Indexed In: INSPEC, SCOPUS View 1 More Indices
Release Date: October, 2013|Copyright: © 2014 |Pages: 314|DOI: 10.4018/978-1-4666-4659-9
ISBN13: 9781466646599|ISBN10: 1466646594|EISBN13: 9781466646605
Hardcover:
Available
$195.00
TOTAL SAVINGS: $195.00
Benefits
  • Free shipping on orders $395+
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • 50% discount on 5+ titles*
E-Book:
(Multi-User License)
Available
$195.00
TOTAL SAVINGS: $195.00
Benefits
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
  • 50% discount on 5+ titles*
Hardcover +
E-Book:
(Multi-User License)
Available
$235.00
TOTAL SAVINGS: $235.00
Benefits
  • Free shipping on orders $395+
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
  • 50% discount on 5+ titles*
OnDemand:
(Individual Chapters)
Available
$37.50
TOTAL SAVINGS: $37.50
Benefits
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
  • 50% discount on 5+ titles*

Description

With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges.

Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.

Topics Covered

The many academic areas covered in this publication include, but are not limited to:

  • Large Scale Population Models
  • Modeling Composability
  • Modeling Techniques
  • Multi-Formalism Theoretical Foundations
  • Petri-Net Models and Tools
  • Workflow Languages

Table of Contents and List of Contributors

Search this Book:
Reset

Author(s)/Editor(s) Biography

Marco Gribaudo is a senior researcher at the Politecnico di Milano - Italy. He works in the performance evaluation group and his current research interests are multi-formalism modeling, queuing networks, mean-field analysis and spatial models. The main applications to which the previous methodologies are applied come from cloud computing, multi-core architectures, and wireless sensor networks.
Mauro Iacono is a tenured Assistant Professor and Senior Researcher in Computing Systems at Dipartimento di Scienze Politiche, Seconda Università degli Studi di Napoli, Caserta, Italy. He received a Laurea in Ingegneria Informatica (MSc) degree cum laude (Hon) in 1999 by Università degli Studi di Napoli “Federico II”, Napoli, Italy, and a Dottorato in Ingegneria Elettronica (PhD) degree by Seconda Università degli Studi di Napoli, Aversa, Italy. He has published over 35 peer reviewed scientific papers on international journals and conferences and has served as scientific editor, conference scientific committee chairman, and member and reviewer for several journals, and is a member of IEEE and other scientific societies. His research activity is mainly centered on the field of performance modeling of complex computer-based systems, with a special attention for multiformalism modeling techniques. More information is available at http://www.mauroiacono.com.

Indices