6978 search results - page 370 / 1396 » On Proofs in System P |
186
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
189
click to vote
LAWEB
2003
IEEE
16 years 3 days ago
2003
IEEE
Streaming media applications are becoming more popular on the late years, as for example, news transmitted live through the web, music, show, and films. Traditional client/server...
225
click to vote
ICDE
2006
IEEE
16 years 27 days ago
2006
IEEE
Structured P2P systems based on distributed hash tables are a popular choice for building large-scaled data management systems. Generally, they only support exact match queries, b...
185
click to vote
WOWMOM
2006
ACM
16 years 24 days ago
2006
ACM
Recent years saw the rapid development of peer-topeer (P2P) networks in a great variety of applications. However, similarity-based k-nearest-neighbor retrieval (k-NN) is still a c...
190
Voted
ICNP
2005
IEEE
16 years 13 days ago
2005
IEEE
A mutually anonymous service hides the identity of a client from the service provider and vice-versa. Providing mutual anonymity usually requires a large number of participants. W...