10 search results - page 1 / 2 » fac 2007 |
93
Voted
FAC
2007
15 years 21 days ago
2007
102
Voted
FAC
2007
15 years 21 days ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
69
Voted
HCI
2007
15 years 2 months ago
2007
96
Voted
FAC
2007
15 years 21 days ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
103
Voted
FAC
2007
15 years 21 days ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...