Sciweavers

11580 search results - page 2014 / 2316
» Communication vs. Computation
Sort
View
159
Voted
ECOWS
2006
Springer
15 years 9 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
ESORICS
2006
Springer
15 years 9 months ago
Secure Key-Updating for Lazy Revocation
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
Michael Backes, Christian Cachin, Alina Oprea
EUROPKI
2006
Springer
15 years 9 months ago
On the Resilience of Key Agreement Protocols to Key Compromise Impersonation
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
Maurizio Adriano Strangio
147
Voted
EVOW
2006
Springer
15 years 9 months ago
Optimal Broadcasting in Metropolitan MANETs Using Multiobjective Scatter Search
Mobile Ad-hoc Networks (MANETs) are composed of a set of communicating devices which are able to spontaneously interconnect without any pre-existing infrastructure. In such scenari...
Francisco Luna, Antonio J. Nebro, Bernabé D...
140
Voted
EWSA
2006
Springer
15 years 9 months ago
Modes for Software Architectures
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebasti&aacut...
« Prev « First page 2014 / 2316 Last » Next »