24529 search results - page 4657 / 4906 » Computing on Authenticated Data |
173
click to vote
PLDI
2003
ACM
15 years 12 months 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...
182
click to vote
SACMAT
2003
ACM
15 years 12 months 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...
208
click to vote
SASN
2003
ACM
15 years 12 months 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...
206
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
Higher Education Institutions are now spending a significant portion of their budget to implement and maintain modern Enterprise Resource Planning (ERP) solutions. ERP is a softwa...
183
click to vote
SPAA
2003
ACM
15 years 12 months ago
2003
ACM
When using a shared memory multiprocessor, the programmer faces the selection of the portable programming model which will deliver the best performance. Even if he restricts his c...