15777 search results - page 2872 / 3156 » Engineering in Software |
122
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Structural indices play a significant role in improving the efficiency of XML query evaluation. Being able to compare various structural indexing techniques is critical for a DBM...
121
click to vote
DRM
2009
Springer
15 years 11 months ago
2009
Springer
Digital Rights Management (DRM) is used to protect copyrighted content from unauthorized use. However, this has taken away the jurisdiction of the consumers over their purchased c...
107
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
135
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
119
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...