nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
|
Vařeková, P. |
|
2010 |
260 |
C |
p. 243-259 17 p. |
artikel |
2 |
Component Simulation-based Substitutivity Managing QoS Aspects
|
Héam, Pierre-Cyrille |
|
2010 |
260 |
C |
p. 109-123 15 p. |
artikel |
3 |
Compositional Specification of Parallel Components Using Circus
|
de Carvalho-Junior, Francisco Heron |
|
2010 |
260 |
C |
p. 47-72 26 p. |
artikel |
4 |
Correct Execution of Reconfiguration for Stateful Components
|
Hammer, Moritz |
|
2010 |
260 |
C |
p. 91-108 18 p. |
artikel |
5 |
Discovering Coordination Patterns
|
Rodrigues, Nuno F. |
|
2010 |
260 |
C |
p. 189-207 19 p. |
artikel |
6 |
Formal Specification of Correlation in WS Orchestrations Using BP-calculus
|
Abouzaid, Faisal |
|
2010 |
260 |
C |
p. 3-24 22 p. |
artikel |
7 |
Global Coordination Policies for Services
|
Ciancia, Vincenzo |
|
2010 |
260 |
C |
p. 73-89 17 p. |
artikel |
8 |
Integrating Component Tests to System Tests
|
Schätz, Bernhard |
|
2010 |
260 |
C |
p. 225-241 17 p. |
artikel |
9 |
On the Observable Behaviour of Composite Components
|
Hennicker, Rolf |
|
2010 |
260 |
C |
p. 125-153 29 p. |
artikel |
10 |
Preface
|
Canal, Carlos |
|
2010 |
260 |
C |
p. 1-2 2 p. |
artikel |
11 |
Slicing-based Reductions for Rebeca
|
Sabouri, Hamideh |
|
2010 |
260 |
C |
p. 209-224 16 p. |
artikel |
12 |
State Based Robustness Testing for Components
|
Lei, Bin |
|
2010 |
260 |
C |
p. 173-188 16 p. |
artikel |
13 |
Transparent First-class Futures and Distributed Components
|
Cansado, Antonio |
|
2010 |
260 |
C |
p. 155-171 17 p. |
artikel |
14 |
Unifying Architectural and Behavioural Specifications of Distributed Components
|
Cansado, Antonio |
|
2010 |
260 |
C |
p. 25-45 21 p. |
artikel |