3008 search results - page 500 / 602 » Mechanisms for Importing Modules |
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
112
click to vote
TARK
2007
Springer
15 years 4 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
105
click to vote
ICDCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Effective caching in Domain Name System (DNS) is critical to its performance and scalability. Existing DNS only supports weak cache consistency by using the Time-To-Live (TTL) mec...
IISWC
2006
IEEE
15 years 4 months ago
2006
IEEE
— As CMPs are emerging as the dominant architecture for a wide range of platforms (from embedded systems and game consoles, to PCs, and to servers) the need to manage on-chip res...
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
Spectral expansion and matrix analytic methods are important solution mechanisms for matrix polynomial equations. These equations are encountered in the steady-state analysis of M...