1833 search results - page 59 / 367 » Mechanized Verification with Sharing |
101
click to vote
ISPA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Recent advances in P2P lookup overlays provide an appealing solution for distributed search without relying on a single database server. In addition to performing resourc...
93
Voted
JUCS
2006
15 years 19 days ago
2006
: Ambient Intelligence scenarios describe situations in which multitude of devices and agents live together. In this kind ofscenarios is frequent to see the appearance ofconflicts ...
127
Voted
ICWSM
2009
14 years 10 months ago
2009
This paper presents the first comprehensive exploration of the largest Chinese online knowledge sharing communityBaidu Knows. With analyzing 5.2 millions questions and 2.7 million...
IJNSEC
2010
14 years 7 months ago
2010
In this paper, we construct two verifiable attribute-based encryption (VABE) schemes. One is with a single authority, and the other is with multi authorities. Not only our schemes ...
115
Voted
ICWL
2007
Springer
15 years 6 months ago
2007
Springer
It is indeed important to implement e-Learning platforms for education and training purposes in a variety of domains. However, facing the enormous amount of learning resources, gui...