4340 search results - page 255 / 868 » Formal Methods and Cryptography |
196
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
156
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
153
click to vote
C3S2E
2009
ACM
16 years 18 days ago
2009
ACM
The integer least squares problem arises from many applications such as communications, cryptography, and GPS. In this paper, we consider the sphere decoding method in communicati...
171
click to vote
ACNS
2003
Springer
15 years 11 months ago
2003
Springer
1 We describe a side-channel attack on a substitution block, which is usually implemented as a table lookup operation. In particular, we have investigated smartcard implementations...
163
click to vote
MLG
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...