682 search results - page 89 / 137 » Java Implementation Verification Using Reverse Engineering |
145
click to vote
COMPSAC
2006
IEEE
16 years 7 days ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
171
click to vote
ACNS
2003
Springer
15 years 11 months ago
2003
Springer
1 We describe a side-channel attack on a substitution block, which is usually implemented as a table lookup operation. In particular, we have investigated smartcard implementations...
179
click to vote
IWPC
1997
IEEE
15 years 10 months ago
1997
IEEE
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
239
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
155
click to vote
KBSE
2008
IEEE
16 years 17 days ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...