4099 search results - page 210 / 820 » A Framework for Interactive Proof |
165
click to vote
CCS
1998
ACM
15 years 9 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
146
click to vote
ICPP
1992
IEEE
15 years 9 months ago
1992
IEEE
-- Distributed routing algorithms presented in the literature have tended to be specific to a particular network topology. In order to test the applicability of various routing str...
139
click to vote
ICEGOV
2007
ACM
15 years 9 months ago
2007
ACM
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and pr...
187
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Over the last few years, the importance of mobile computing as been steadily increasing. While it is important to provide support for accessing databases in disconnected computing...
165
click to vote
VW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...