3456 search results - page 211 / 692 » Byte Code Engineering |
250
click to vote
ECEASST
2010
15 years 3 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
193
click to vote
TCOM
2010
15 years 1 months ago
2010
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
162
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
161
click to vote
CODES
2007
IEEE
16 years 26 days ago
2007
IEEE
One of the security issues in embedded system is the ability of an adversary to perform side channel attacks. Power analysis attacks are often very successful, where the power seq...
186
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...