3971 search results - page 193 / 795 » On the Use of Properties in Java Applications |
144
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
The focus of this work is on utilizing the state of objects during their lifespan in optimizing the leakage energy consumed in the data caches when executing embedded Java applica...
155
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
154
click to vote
CTRSA
2010
Springer
15 years 9 months ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
175
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
187
click to vote
JVA
2006
IEEE
16 years 14 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...