2702 search results - page 96 / 541 » Practically Applicable Formal Methods |
ASIACRYPT
2008
Springer
14 years 12 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...
SAS
2005
Springer
15 years 3 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
255
click to vote
Tutorial
This technical report discusses Sethian's Fast Marching Method and its higher accuracy variant. Both methods may be used to compute the arrival times at the points of a discre...
ENGL
2007
14 years 10 months ago
2007
- Fuzzy measures are monotonic set functions used for modelling strength of coalition of criteria in multicriteria decision-making. However, the practical application of fuzzy meas...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
For several decades organizational researchers have explored the practice of using electronic technology to communicate when team members work physically apart from each other. Ye...