1345 search results - page 48 / 269 » Data Exchange in Bauhaus |
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...
189
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...
186
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we propose a meta-model for architectures with heterogeneous multimedia components. Currently, a generic solution does not exist to automatically deploy a distributed...
181
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
158
click to vote
LCPC
2007
Springer
16 years 13 days ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...