682 search results - page 89 / 137 » Java Implementation Verification Using Reverse Engineering |
COMPSAC
2006
IEEE
14 years 2 months 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...
ACNS
2003
Springer
14 years 2 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...
IWPC
1997
IEEE
14 years 1 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...
PLDI
2009
ACM
14 years 3 months 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...
KBSE
2008
IEEE
14 years 3 months 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 ...