4356 search results - page 335 / 872 » Communicating Transactions - (Extended Abstract) |
178
click to vote
CHARME
2001
Springer
16 years 22 hour ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
202
click to vote
EUROCRYPT
2001
Springer
16 years 13 hour ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
185
Voted
EUROPAR
2001
Springer
16 years 13 hour ago
2001
Springer
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
192
click to vote
IWDC
2001
Springer
15 years 12 months ago
2001
Springer
Abstract— This paper presents the architecture of a passive monitoring system installed within the Sprint IP backbone network. This system differs from other packet monitoring sy...
207
Voted
MA
2001
Springer
15 years 12 months ago
2001
Springer
Mobile agents must be prepared to execute on different hosts and therefore in different execution environments. Even when a homogenous exenvironment is offered by abstracting th...