|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Overview of MANETs Simulation |
Hogie, Luc |
2006 |
150 | 1 |
p. 81-101 21 p. |
artikel |
|
| 2 | Architecture Description for Mobile Distributed Systems Using Typed π-Calculus |
Gruhn, Volker |
2006 |
150 | 1 |
p. 51-60 10 p. |
artikel |
|
| 3 | Biomolecular Agents as Multi-behavioural Concurrent Objects |
Duchier, Denys |
2006 |
150 | 1 |
p. 31-49 19 p. |
artikel |
|
| 4 | Coordination Models Based on a Formal Model of Distributed Object Reflection |
Talcott, Carolyn L. |
2006 |
150 | 1 |
p. 143-157 15 p. |
artikel |
|
| 5 | Distributed Reactive XML |
Hildebrandt, Thomas |
2006 |
150 | 1 |
p. 61-80 20 p. |
artikel |
|
| 6 | Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems |
Rosa-Velardo, Fernando |
2006 |
150 | 1 |
p. 103-126 24 p. |
artikel |
|
| 7 | On the Use of Automata-based Techniques in Symbolic Model Checking |
Legay, Axel |
2006 |
150 | 1 |
p. 3-8 6 p. |
artikel |
|
| 8 | Preface |
Brim, Lubos |
2006 |
150 | 1 |
p. 1-2 2 p. |
artikel |
|
| 9 | Restructuring Paradigm Models for the ToolBus Architecture: A Case Study |
Stam, A.W. |
2006 |
150 | 1 |
p. 127-142 16 p. |
artikel |
|
| 10 | Roles as a Coordination Construct: Introducing powerJava |
Baldoni, Matteo |
2006 |
150 | 1 |
p. 9-29 21 p. |
artikel |
10 gevonden resultaten