9425 search results - page 482 / 1885 » Some Notes on Models and Modelling |
142
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...
190
click to vote
FOSSACS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
143
click to vote
GEOINFO
2004
15 years 7 months ago
2004
: This paper presents a model of data for mobile objects. The model is represented by spatial-temporal classes with mobility aspects, and represents the route and the trajectories ...
188
click to vote
TLCA
2009
Springer
16 years 24 days ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
137
click to vote
MCS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. A new theoretical framework for the analysis of linear combiners is presented in this paper. This framework extends the scope of previous analytical models, and provides ...