2702 search results - page 251 / 541 » Message from the Editor |
141
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
124
click to vote
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...
125
click to vote
SKG
2005
IEEE
15 years 10 months ago
2005
IEEE
—We discuss a general architectural approach to knowledge and information management and delivery in distributed systems. Our approach is based on the recognition that time-stamp...
133
click to vote
SRDS
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
119
click to vote
AI
2005
Springer
15 years 10 months ago
2005
Springer
Privacy is one of the main societal concerns raised by critics of the uncontrolled growth and spread of information technology in developed societies. The purpose of this paper is ...