896 search results - page 103 / 180 » Stepwise Refinement of Processes |
129
Voted
CHES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper introduces a refinement of the power-analysis attack on integrated circuits. By using a laser to illuminate a specific area on the chip surface, the current th...
118
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
143
click to vote
ASYNC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
112
Voted
IFM
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
149
Voted
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...