11168 search results - page 297 / 2234 » Abstract State Processes |
209
click to vote
CHES
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. A classical model is used for the power consumption of cryptographic devices. It is based on the Hamming distance of the data handled with regard to an unknown but consta...
167
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
201
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
187
click to vote
APPINF
2003
15 years 8 months ago
2003
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
152
click to vote
ESANN
2000
15 years 8 months ago
2000
Abstract. Given a one dimensional SOM with a monotonically decreasing neighbourhood and an input distribution which is not Lebesque continuous, a set of su cient conditions and a T...