4323 search results - page 660 / 865 » Callback Implementations in C |
146
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
In many criminal cases, forensically collected data contain valuable information about a suspect’s social networks. An investigator often has to manually extract information fro...
150
Voted
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
We address the problem of making online, parallel query plans fault-tolerant: i.e., provide intra-query fault-tolerance without blocking. We develop an approach that not only achi...
252
click to vote
ASUNAM
2011
IEEE
14 years 4 months ago
2011
IEEE
—With the rise of network science as an exciting interdisciplinary research topic, efficient graph algorithms are in high demand. Problematically, many such algorithms measuring...
171
click to vote
CBSE
2011
Springer
14 years 4 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
129
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...