6978 search results - page 286 / 1396 » On Proofs in System P |
175
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
202
click to vote
AP2PC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
183
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...
149
Voted
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Providing video on demand (VoD) service over the Internet in a scalable way is a challenging problem. In this paper, we propose P2Cast - an architecture that uses a peer-to-peer a...
183
click to vote
MOBISEC
2009
Springer
16 years 1 months ago
2009
Springer
Spam is a dominant problem on email systems today. One of the reasons is the lack of infrastructure for security and trust. As Voice over IP (VoIP) communication becomes increasing...