2055 search results - page 119 / 411 » Generic Model Refactorings |
132
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
It has been recently discovered that a faithful representation for the shape of some simple distributions can be constructed using invariant statistics [1, 2]. In this paper, we c...
134
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...
102
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes an abstract and generic topological model that captures the essence of P2P architecture. Such model should in return facilitate the exploitation of the new desi...
116
click to vote
MOBICOM
1999
ACM
15 years 6 months ago
1999
ACM
Due to the lack of a generic platform for location- and spatial-aware systems, many basic services have to be reimplemented in each application that uses spatial-awareness. A coop...