1190 search results - page 9 / 238 » The Continuing Quest for Abstraction |
CSL
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
FSKD
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. The na
LISP
2002
13 years 8 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
CP
2006
Springer
14 years 16 days ago
2006
Springer
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A crucial issue in the management of sensor networks is the continuous monitoring of residual energy level of the sensors in the network. In this paper, we propose a hier...