12774 search results - page 2411 / 2555 » A Framework for Proof Systems |
224
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
202
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
198
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...
204
click to vote
SAGA
2007
Springer
16 years 19 days ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...
138
click to vote
BTW
2009
Springer
15 years 9 months ago
2009
Springer
: Persistenzframeworks sind komplexe Softwarelösungen für die Speicherung und das Auffinden von Objekten in relationalen Datenbanken. Immer wichtiger für die Weiterentwicklung s...