5064 search results - page 930 / 1013 » Recent Developments in Gridsolve |
148
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
116
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
—We prove new lower bounds in the area of property testing of boolean functions. Specifically, we study the problem of testing whether a boolean function f is isomorphic to a ...
158
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
153
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Discovering frequent patterns from data is a popular exploratory technique in data mining. However, if the data are sensitive (e.g. patient health records, user behavior records) ...
163
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...