967 search results - page 6 / 194 » Building a Calculus of Data Structures |
WWW
2007
ACM
15 years 10 months ago
2007
ACM
DBin is a Semantic Web application that enables groups of users with a common interest to cooperatively create semantically structured knowledge bases. These user groups, which we...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The ontological representation of learning objects is a way to deal with the interoperability and reusability of learning objects (including metadata) through providing a semantic...
104
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—Many popular algorithms for fast packet forwarding and filtering rely on the tree data structure. Examples are the trie-based IP lookup and packet classification algorithms. W...
174
Voted
ICDE
2004
IEEE
15 years 11 months ago
2004
IEEE
Signatures detect changes to the data objects. Numerous schemes a known, e.g., the popular hash based SHA-1 standard. We propose a nov scheme we call algebraic signatures. We use ...