3333 search results - page 233 / 667 » Abstract Proof Search |
156
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
155
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Relay attacks are a major concern for RFID systems: during an authentication process an adversary transparently relays messages between a verifier and a remote legitimate...
141
click to vote
COMPUTING
2006
15 years 5 months ago
2006
Abstract We are dealing with the optimal, i.e. densest packings of congruent circles into the unit square. In the recent years we have built a numerically reliable, verified method...
125
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
140
click to vote
JSYML
2008
15 years 5 months ago
2008
Abstract. In this paper we study the metric spaces that are definable in a polynomially bounded ominimal structure. We prove that the family of metric spaces definable in a given p...