6195 search results - page 932 / 1239 » Cloud Computing Security |
164
click to vote
SKG
2006
IEEE
16 years 20 days ago
2006
IEEE
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
193
Voted
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
180
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...
165
click to vote
ACSC
2005
IEEE
16 years 9 days ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
176
click to vote
AINA
2005
IEEE
16 years 9 days ago
2005
IEEE
Based on the factorization problem, a modified (t, n) threshold group-oriented scheme with message recovery is proposed. In the proposed scheme, any combination of more than t mem...