Sciweavers

4498 search results - page 16 / 900
» How to Invent Functions
Sort
View
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
14 years 28 days ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
PSYCHNOLOGY
2007
112views more  PSYCHNOLOGY 2007»
13 years 7 months ago
Extended Television: A Study of How Investigations of Use Can Inform Design Processes in Nursing Homes
This paper describes the shortcomings in the support that replaces the lost distributed cognition in older people who move to nursing homes and how artifacts can improve this by f...
Peter Abdelmassih Waller
CMG
1997
13 years 9 months ago
Capacity Planning in Distributed Environments
Capacity Planning has been a discipline practiced by IT since before the invention of the mainframe. It encompasses different measurement, analysis, modeling and reporting techniq...
Bernard Domanski
CORR
2007
Springer
122views Education» more  CORR 2007»
13 years 7 months ago
Social Media as Windows on the Social Life of the Mind
This is a programmatic paper, marking out two directions in which the study of social media can contribute to broader problems of social science: understanding cultural evolution ...
Cosma Rohilla Shalizi
CRYPTO
2009
Springer
119views Cryptology» more  CRYPTO 2009»
14 years 2 months ago
How Risky Is the Random-Oracle Model?
RSA-FDH and many other schemes secure in the Random-Oracle Model (ROM) require a hash function with output size larger than standard sizes. We show that the random-oracle instanti...
Gaëtan Leurent, Phong Q. Nguyen