190 search results - page 10 / 38 » A Simple Proof Technique for Certain Parametricity Results |
POPL
1995
ACM
13 years 11 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
MOBIQUITOUS
2008
IEEE
14 years 1 months ago
2008
IEEE
Location-based services in general require information about the position of certain objects. For instance, for a navigation service the position of the user needs to be known. Th...
EUROCRYPT
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
INFORMATICALT
2006
13 years 7 months ago
2006
Abstract. The aim of the given paper is the development of an approach for parametric identification of Hammerstein systems with piecewise linear nonlinearities, i.e., when the sat...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...