533 search results - page 10 / 107 » A Very Mathematical Dilemma |
ASIACRYPT
2008
Springer
15 years 1 months ago
2008
Springer
The collision-resistance of hash functions is an important foundation of many cryptographic protocols. Formally, collision-resistance can only be expected if the hash function in f...
101
click to vote
ATMOS
2008
15 years 1 months ago
2008
One of the basic problems in strategic planning of public and rail transport is the line planning problem to find a system of lines and its associated frequencies. The objectives o...
107
click to vote
ISSAC
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
CHI
2002
ACM
16 years 2 days ago
2002
ACM
When virtual teams need to establish trust at a distance, it is advantageous for them to use rich media to communicate. We studied the emergence of trust in a social dilemma game ...
CAD
1999
Springer
14 years 11 months ago
1999
Springer
The method of consecutive revolving or extrusion of a geometric entity in a CAD system is typically used by a designer to represent complex solids. While it is evident that consec...