19979 search results - page 3716 / 3996 » Decision support systems |
206
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
139
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
210
click to vote
ASIACRYPT
2005
Springer
16 years 7 days ago
2005
Springer
Cryptosystems based on the knapsack problem were among the first public-key systems to be invented. Their high encryption/decryption rate attracted considerable interest until it ...
182
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. As grid sizes increase, the need for self-organization and dynamic reconfigurations is becoming more and more important, and therefore the convergence of grid computing ...
189
click to vote
ISAAC
2005
Springer
16 years 6 days ago
2005
Springer
Consider an information network with harmful procedures called attackers (e.g., viruses); each attacker uses a probability distribution to choose a node of the network to damage. O...