|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Classification of Time and/or Probability Dependent Security Properties |
Lanotte, Ruggero |
2006 |
153 | 2 |
p. 177-193 17 p. |
artikel |
|
| 2 | A Logic for Application Level QoS |
Hirsch, Dan |
2006 |
153 | 2 |
p. 135-159 25 p. |
artikel |
|
| 3 | A Novel Stochastic Game Via the Quantitative μ-calculus |
McIver, Annabelle |
2006 |
153 | 2 |
p. 195-212 18 p. |
artikel |
|
| 4 | Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks |
Siveroni, Igor |
2006 |
153 | 2 |
p. 241-257 17 p. |
artikel |
|
| 5 | Metrics for Action-labelled Quantitative Transition Systems |
Deng, Yuxin |
2006 |
153 | 2 |
p. 79-96 18 p. |
artikel |
|
| 6 | Partial Order Reduction for Probabilistic Branching Time |
Baier, Christel |
2006 |
153 | 2 |
p. 97-116 20 p. |
artikel |
|
| 7 | Patterns for Timed Property Specifications |
Gruhn, Volker |
2006 |
153 | 2 |
p. 117-133 17 p. |
artikel |
|
| 8 | PMaude: Rewrite-based Specification Language for Probabilistic Object Systems |
Agha, Gul |
2006 |
153 | 2 |
p. 213-239 27 p. |
artikel |
|
| 9 | Preface |
Cerone, Antonio |
2006 |
153 | 2 |
p. 1-3 3 p. |
artikel |
|
| 10 | Preventing Timing Leaks Through Transactional Branching Instructions |
Barthe, Gilles |
2006 |
153 | 2 |
p. 33-55 23 p. |
artikel |
|
| 11 | Quantitative Analysis With the Probabilistic Model Checker PRISM |
Kwiatkowska, Marta |
2006 |
153 | 2 |
p. 5-31 27 p. |
artikel |
|
| 12 | Towards a Logic for Performance and Mobility |
De Nicola, Rocco |
2006 |
153 | 2 |
p. 161-175 15 p. |
artikel |
|
| 13 | Trace Machines for Observing Continuous-Time Markov Chains |
Wolf, Verena |
2006 |
153 | 2 |
p. 259-277 19 p. |
artikel |
|
| 14 | Using Bytecode Instruction Counting as Portable CPU Consumption Metric |
Binder, Walter |
2006 |
153 | 2 |
p. 57-77 21 p. |
artikel |
14 gevonden resultaten