6047 search results - page 1109 / 1210 » Modeling with Extend |
111
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...
101
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The online auction is a well-known business model that shows how business can be changed with the aid of new technologies. On the other hand, although the online auction allows bu...
116
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the technical details of SemRetriev, a prototype system for image retrieval which combines the use of an ontology which structures an image repository and of ...
145
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
105
click to vote
TCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...