2687 search results - page 154 / 538 » Formal Analysis of PKCS |
143
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
136
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
131
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
131
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
— Due to enormous complexity of the unstructured peer-to-peer networks as large-scale, self-configure, and dynamic systems, the models used to characterize these systems are eit...
167
click to vote
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...