1833 search results - page 78 / 367 » Mechanized Verification with Sharing |
101
click to vote
AP2PC
2003
Springer
15 years 6 months ago
2003
Springer
Prior to the access to decentralized resources like web services and shared files in peer-to-peer networks, the user needs to be provided with accurate information about these res...
97
Voted
AINA
2004
IEEE
15 years 4 months ago
2004
IEEE
2004, Chang et al. suggested an approach that solves the problem of secret sharing with access structures in a hierarchy. They used the concept of discrete logarithmto reuse shado...
92
Voted
DBSEC
2008
15 years 2 months ago
2008
Abstract. Dishonest employees, who have privileges to obtain corporate critical information and access internal resources, cause the problem of internal leakage. Employees, who hav...
124
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We consider the decentralized power allocation and spectrum sharing problem in multi-user, multichannel systems with strategic users. We present a mechanism/game form that has the...
93
Voted
WOTUG
2008
15 years 2 months ago
2008
Abstract. The Santa Claus problem provides an excellent exercise in concurrent programming and can be used to show the simplicity or complexity of solving problems using a particul...