284 search results - page 53 / 57 » Design and Implementation of a Document Database Extension |
104
click to vote
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locatio...
202
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
ANCS
2009
ACM
14 years 7 months ago
2009
ACM
As the Internet grows, both the number of rules in packet filtering databases and the number of prefixes in IP lookup tables inside the router are growing. The packet processing e...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...
96
Voted
CIKM
2004
Springer
15 years 2 months ago
2004
Springer
Modern corporations operate in an extremely complex environment and strongly depend on all kinds of information resources across the enterprise. Unfortunately, with the growth of ...