1255 search results - page 31 / 251 » A Proof Environment for the Development of Group Communicati... |
HT
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we describe how we use a group of users’ accesses and interactions with web pages to discover and recommend relevant common navigation paths to other users. We col...
CRYPTO
2008
Springer
13 years 10 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
WETICE
2000
IEEE
14 years 10 days ago
2000
IEEE
We discuss a vision of and work in progress on a collaborative engineering environment, the Collaborative Design Studio, being developed at the Geometric and Intelligent Computing...
ADHOC
2008
13 years 9 months ago
2008
In this paper, we present a secure group key management scheme for hierarchical mobile ad-hoc networks. Our approach aims to improve both scalability and survivability of group ke...
ICSE
2000
IEEE-ACM
14 years 11 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...