3843 search results - page 445 / 769 » System support for shared objects |
172
click to vote
VVEIS
2008
15 years 8 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
169
click to vote
DMIN
2006
15 years 8 months ago
2006
A Geographic Information System allows to create and manage spatial data. Having many public users who create and edit objects in geographic maps, the question of data quality aris...
229
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
162
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Technical support contributes 17% of the total cost of ownership of today's desktop PCs [25]. An important element of technical support is troubleshooting misconfigured appli...
271
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
With the commoditization of digital devices, personal information and media sharing is becoming a key application on the pervasive Web. In such a context, data annotation rather th...