24368 search results - page 4623 / 4874 » Distributed Computing Economics |
191
click to vote
PLDI
2003
ACM
16 years 9 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
199
Voted
SACMAT
2003
ACM
16 years 9 days ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
238
click to vote
SASN
2003
ACM
16 years 9 days ago
2003
ACM
In this paper we address the problem of secure multicast of data streams over a multihop wireless ad hoc network. We propose a dynamic multicast group management protocol that aim...
234
click to vote
SASN
2003
ACM
16 years 9 days ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
227
click to vote
SIGIR
2003
ACM
16 years 9 days ago
2003
ACM
This paper presents a novel domain-independent text segmentation method, which identifies the boundaries of topic changes in long text documents and/or text streams. The method c...