Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Capítulo de Livro
|
Wilde: Supporting Change in GroupwarePorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
12 |
Material Type: Capítulo de Livro
|
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN ApproachPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
13 |
Material Type: Capítulo de Livro
|
A Logical Interface Description Language for ComponentsPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
14 |
Material Type: Capítulo de Livro
|
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple SpacesPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
15 |
Material Type: Capítulo de Livro
|
Coordination-Based Design of Distributed SystemsPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
16 |
Material Type: Capítulo de Livro
|
On the Verification of CoordinationPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
17 |
Material Type: Capítulo de Livro
|
Mobile Agents Coordination in MobadtlPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
18 |
Material Type: Capítulo de Livro
|
MobileML : A Programming Language for Mobile ComputationPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
19 |
Material Type: Capítulo de Livro
|
The LuCe Coordination Technology for MAS Design and Development on the InternetPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
20 |
Material Type: Capítulo de Livro
|
An Agent Mediated Approach to Dynamic Change in Coordination PoliciesPorto, Antonio ; Roman, Gruia-CatalinCoordination Languages and Models, 2000, Vol.1906Germany: Springer Berlin / HeidelbergTexto completo disponível |