317 search results - page 60 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
PLDI
2010
ACM
15 years 7 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...
98
Voted
WSDM
2009
ACM
15 years 4 months ago
2009
ACM
Text streams are becoming more and more ubiquitous, in the forms of news feeds, weblog archives and so on, which result in a large volume of data. An effective way to explore the...
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
Rootkits have become a growing concern in cyber-security. Typically, they exploit kernel vulnerabilities to gain root privileges of a system and conceal malware’s activities fro...
82
Voted
P2P
2008
IEEE
15 years 3 months ago
2008
IEEE
We propose an efficient framework for enabling secure multi-party numerical computations in a Peer-to-Peer network. This problem arises in a range of applications such as collabo...
SRDS
2008
IEEE
15 years 3 months ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...