4356 search results - page 700 / 872 » Communicating Transactions - (Extended Abstract) |
159
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
183
click to vote
BPM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
183
click to vote
CD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
159
click to vote
CRYPTO
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Assuming an insecure quantum channel and an authenticated classical channel, we propose an unconditionally secure scheme for encrypting classical messages under a shared ...
165
click to vote
EPEW
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...