1833 search results - page 174 / 367 » Mechanized Verification with Sharing |
197
click to vote
ACSW
2003
15 years 7 months ago
2003
This paper explores the complications encountered when attempting to create a secure pervasive computing environment. The model introduced in this paper is primarily conceptual. T...
175
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. A large number of techniques for location estimation relying on the existing wireless radio infrastructures have been proposed in the last few years. Solutions relying on...
182
click to vote
JPDC
2008
15 years 6 months ago
2008
Cluster computing has become an essential issue for designing immersive visualization systems. This paradigm employs scalable clusters of commodity computers with much lower costs...
177
click to vote
FGCS
2007
15 years 6 months ago
2007
Grid computing is a newly developed technology for complex systems with large-scale resource sharing and multi-institutional collaboration. The prominent feature of grid computing...
168
click to vote
CHI
2010
ACM
15 years 5 months ago
2010
ACM
People share pictures online to increase their social presence. However, recent studies have shown that most of the content shared in social networks is not looked at by peers. Pr...