5084 search results - page 783 / 1017 » Proving Possibility Properties |
167
click to vote
INDOCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
The Montgomery multiplication is often used for an efficient implementations of public-key cryptosystems. This algorithm occasionally needs an extra subtraction in the final step,...
155
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
182
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....
172
click to vote
MMB
2004
Springer
15 years 12 months ago
2004
Springer
Rate measurements are required for many purposes, e.g. for system analysis and modelling or for live systems that react to measurements. For off-line measurement all data is avail...
178
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...