|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Structural Approach for Modelling Performance of Systems Using Skeletons |
Yaikhom, Gagarine |
2007 |
190 | 3 |
p. 167-183 17 p. |
artikel |
|
| 2 | Co-Algebraic Models for Quantitative Spatial Logics |
Ciancia, Vincenzo |
2007 |
190 | 3 |
p. 43-58 16 p. |
artikel |
|
| 3 | Exogenous Probabilistic Computation Tree Logic |
Baltazar, Pedro |
2007 |
190 | 3 |
p. 95-110 16 p. |
artikel |
|
| 4 | Keeping Secrets in Resource Aware Components |
Chothia, Tom |
2007 |
190 | 3 |
p. 79-94 16 p. |
artikel |
|
| 5 | Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming |
Bistarelli, Stefano |
2007 |
190 | 3 |
p. 111-127 17 p. |
artikel |
|
| 6 | On Probabilistic Techniques for Data Flow Analysis |
Di Pierro, Alessandra |
2007 |
190 | 3 |
p. 59-77 19 p. |
artikel |
|
| 7 | PEPA Queues: Capturing Customer Behaviour in Queueing Networks |
Argent-Katwala, Ashok |
2007 |
190 | 3 |
p. 3-25 23 p. |
artikel |
|
| 8 | Preface |
Aldini, Alessandro |
2007 |
190 | 3 |
p. 1-2 2 p. |
artikel |
|
| 9 | Probabilistic Barbed Congruence |
Deng, Yuxin |
2007 |
190 | 3 |
p. 185-203 19 p. |
artikel |
|
| 10 | Probabilistic π-Calculus and Event Structures |
Varacca, Daniele |
2007 |
190 | 3 |
p. 147-166 20 p. |
artikel |
|
| 11 | Stochastic Concurrent Constraint Programming and Differential Equations |
Bortolussi, Luca |
2007 |
190 | 3 |
p. 27-42 16 p. |
artikel |
|
| 12 | Stochastic Modelling of Communication Protocols from Source Code |
Smith, Michael J.A. |
2007 |
190 | 3 |
p. 129-145 17 p. |
artikel |
12 gevonden resultaten