5599 search results - page 251 / 1120 » Abstract State Services |
154
click to vote
TACAS
2005
Springer
16 years 10 hour ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
193
click to vote
CHES
2004
Springer
15 years 12 months 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...
151
click to vote
HYBRID
1998
Springer
15 years 10 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...
174
click to vote
ASM
2005
ASM
15 years 8 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...
166
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 ...