1975 search results - page 149 / 395 » Property analysis and design understanding |
163
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
162
Voted
FDTC
2008
Springer
15 years 8 months ago
2008
Springer
The adaptive and active nature of fault based sidechannel attacks along with the large arsenal of fault injection methods complicates the design of effective countermeasures. To o...
189
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
150
click to vote
CSREAESA
2004
15 years 8 months ago
2004
Battery lifetime extension is a primary design objective for portable systems. This paper investigates how non-ideal properties of a battery impacts its lifespan. More specificall...
162
Voted
JMIV
2006
15 years 6 months ago
2006
In this paper, we present some adaptive wavelet decompositions that can capture the directional nature of images. Our method exploits the properties of seminorms to build lifting s...