Showing 1 - 20 results of 24 for search '"distributed computing"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Open Polar Keyword: Iceland

Reset Filters

Show filters (1)

Open Polar Keyword: Iceland

Search Results - Open Polar - "distributed computing"

Search Results

Showing 1 - 20 results of 24 for search '"distributed computing"', query time: 0.25s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

A process calculus for dynamic networks

by Kouzapas, D., Philippou, Anna
Published 2011
Subjects: “...Distributed computer systems...”

Get access
Get access

Article in Journal/Newspaper
Select result number 2
2

Practical cloud evaluation from a Nordic eScience user perspective

by Edlund, Åke, Koopmans, Maarten, Shah, Zeeshan Ali, Livenson, Ilja, Orellana, Frederik, Kommeri, Jukka, Tuisku, Miika, Lehtovuori, Pekka, Hansen, Klaus Marius, Neukirchen, Helmut, Hvannberg, Ebba
Published in Proceedings of the 5th international workshop on Virtualization technologies in distributed computing - VTDC '11 (2011)

Get access
Get access

Other Non-Article Part of Journal/Newspaper
Select result number 3
3

Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers

by Even, Guy, Halldórsson, Magnús M
Published 2012
“... designs. The typical areas include distributed computing, communication networks, game theory, parallel...”

Get access
Get access
Select result number 4
4

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 5
5

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 6
6

On Asynchronous Session Semantics

by Kouzapas, Dimitrios, Yoshida, Nobuko, Honda, Kohei
Published 2011
“... under the fundamental principles of the practice of distributed computing — asynchronous communication...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

On Asynchronous Session Semantics

by Kouzapas, Dimitrios, Yoshida, Nobuko, Honda, Kohei
Published 2011
“... under the fundamental principles of the practice of distributed computing — asynchronous communication...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 9
9

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 10
10

Revisiting Glue Expressiveness in Component-Based Systems

by Giusto, Cinzia, Stefani, Jean-Bernard
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 11
11

Towards QoC-aware location-based services

by Chabridon, Sophie, Ngo, Cao Cuong, Abid, Zied, Conan, Denis, Taconet, Chantal, Ozanne, Alain
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 12
12

Revisiting Glue Expressiveness in Component-Based Systems

by Giusto, Cinzia, Di, Stefani, Jean-Bernard
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 13
13

Revisiting Glue Expressiveness in Component-Based Systems

by Giusto, Cinzia, Di, Stefani, Jean-Bernard
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 14
14

Towards QoC-aware location-based services

by Chabridon, Sophie, Ngo, Cao Cuong, Abid, Zied, Conan, Denis, Taconet, Chantal, Ozanne, Alain
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 15
15

Revisiting Glue Expressiveness in Component-Based Systems

by Giusto, Cinzia, Stefani, Jean-Bernard
Published 2011

Get access
Get access
Get access
Get access

Conference Object
Select result number 16
16

A Framework for Verifying Data-Centric Protocols

by Deng, Yuxin, Grumbach, Stéphane, Monin, Jean-François
Published 2011
“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 17
17

A Framework for Verifying Data-Centric Protocols

by Deng, Yuxin, Grumbach, Stéphane, Monin, Jean-François
Published 2011
“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 18
18

A Framework for Verifying Data-Centric Protocols

by Deng, Yuxin, Grumbach, Stéphane, Monin, Jean-François
Published 2011
“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 19
19

A Framework for Verifying Data-Centric Protocols

by Deng, Yuxin, Grumbach, Stéphane, Monin, Jean-François
Published 2011
“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 20
20

A Denotational Semantics for Parameterised Networks of Synchronised Automata

by Li, Siqi, Madelaine, Eric
Published 2016
“... or systems. In addition, it can be used to define the semantics of languages in the parallel and distributed...”

Get access
Get access
Get access

Conference Object