close
1.

電子ブック

EB
Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II:
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
3.

電子ブック

EB
Marco Bernardo, Alessandro Cimatti, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
Marco Bernardo, Takeo Kanade, Luca Padovani, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Calculi for Service-Oriented Computing / Roberto Bruni
Service Interaction: Patterns, Formalization, and Analysis / Wil M.P. van der Aalst ; Arjan J. Mooij ; Christian Stahl ; Karsten Wolf
Synthesis and Composition of Web Services / Annapaola Marconi ; Marco Pistore
Fundamentals of Session Types / Vasco T. Vasconcelos
Asynchronous Session Types: Exceptions and Multiparty Interactions / Marco Carbone ; Nobuko Yoshida ; Kohei Honda
Contract-Based Discovery and Adaptation of Web Services / Luca Padovani
Contract-Based Discovery and Composition of Web Services / Mario Bravetti ; Gianluigi Zavattaro
Quantitative Analysis of Web Services Using SRMC / Allan Clark ; Stephen Gilmore ; Mirco Tribastone
Author Index
Calculi for Service-Oriented Computing / Roberto Bruni
Service Interaction: Patterns, Formalization, and Analysis / Wil M.P. van der Aalst ; Arjan J. Mooij ; Christian Stahl ; Karsten Wolf
Synthesis and Composition of Web Services / Annapaola Marconi ; Marco Pistore
5.

電子ブック

EB
Alessandro Aldini, Marco Bernardo, Takeo Kanade, Alessandra Pierro, Herbert Wiklicky
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
6.

電子ブック

EB
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems / Marco Roccetti ; Gustavo Marfia
Application of Advanced Model-Driven Techniques in Performance Engineering / Lucia Kapova ; Ralf Reussner
Network and Software Performance
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks / Samir Bellahsene ; Leila Kloul
Performance Aware Reconfiguration of Software Systems / Moreno Marzolla ; Raffaela Mirandola
On the Energy-Performance Tradeoff for Parallel Applications / Shikharesh Majumdar
Timed Models and Model Checking
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking / Lasse Jacobsen ; Morten Jacobsen ; Mikael H. Møller ; Jirí Srba
Continuous Time and/or Continuous Distributions / Joseph Assouramou ; Josée Desharnais
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report / Falko Dulat ; Joost-Pieter Katoen ; Viet Yen Nguyen
Case Studies
A Markovian Agent Model for Fire Propagation in Outdoor Environments / Davide Cerotti ; Marco Gribaudo ; Andrea Bobbio ; Carlos T. Calafate ; Pietro Manzoni
Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs / Patrick Bellasi ; Adnan Faisal ; William Fornaciari ; Giuseppe Serazzi
Performance Modeling and Analysis of the Universal Control Hub / Elena Gómez-Martínez ; José Merseguer
Model Solutions and Bounds
Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing / Ricardo J. Rodríguez ; Jorge Júlvez
A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces / Simonetta Balsamo ; Gian-Luca Dei Rossi ; Andrea Marin
State-Dependent Rates and Semi-Product-Form via the Reversed Process / Nigel Thomas ; Peter Harrison
Compositional Analysis
Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems / Christoph Rathfelder ; David Evans ; Samuel Kounev
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes / Elvio Gilberto Amparore ; Susanna Donatelli
Compositional Abstraction of PEPA Models for Transient Analysis / Michael J.A. Smith
Composing Systems While Preserving Probabilities / Sonja Georgievska ; Suzana Andova
Author Index
Invited Papers
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems / Marco Roccetti ; Gustavo Marfia
Application of Advanced Model-Driven Techniques in Performance Engineering / Lucia Kapova ; Ralf Reussner
7.

電子ブック

EB
Marco Bernardo, Val?rie Issarny, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
8.

電子ブック

EB
Marco Bernardo, Jane Hillston, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Performance Modelling and Markov Chains / William J. Stewart
Queueing Networks / Simonetta Balsamo ; Andrea Marin
Introduction to Generalized Stochastic Petri Nets / Gianfranco Balbo
Stochastic Process Algebras / Allan Clark ; Stephen Gilmore ; Jane Hillston ; Mirco Tribastone
A Survey of Markovian Behavioral Equivalences / Marco Bernardo
Stochastic Model Checking / Marta Kwiatkowska ; Gethin Norman ; David Parker
Fluid Models in Performance Analysis / Marco Gribaudo ; Miklos Telek
Tackling Large State Spaces in Performance Modelling / William J. Knottenbelt ; Jeremy T. Bradley
Data Representation and Efficient Solution: A Decision Diagram Approach / Gianfranco Ciardo
Introduction to Software Performance Engineering: Origins and Outstanding Problems / Connie U. Smith
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms / Murray Woodside
Author Index
Performance Modelling and Markov Chains / William J. Stewart
Queueing Networks / Simonetta Balsamo ; Andrea Marin
Introduction to Generalized Stochastic Petri Nets / Gianfranco Balbo
9.

電子ブック

EB
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II:
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
10.

電子ブック

EB
Marco Bernardo, Valérie Issarny, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼