11397 search results - page 26 / 2280 » A Relational Abstraction for Functions |
IWSM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
SG
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
EMO
2001
Springer
14 years 2 months ago
2001
Springer
Abstract The performance of stochastic optimisers can be assessed experimentally on given problems by performing multiple optimisation runs, and analysing the results. Since an opt...
EUROCRYPT
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We introduce VSH, very smooth hash, a new S-bit hash function that is provably collision-resistant assuming the hardness of finding nontrivial modular square roots of ver...
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...