3996 search results - page 646 / 800 » A Publish |
213
click to vote
AADEBUG
2005
Springer
16 years 3 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
192
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
186
click to vote
COMPLIFE
2005
Springer
16 years 2 days ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
170
click to vote
DRM
2005
Springer
16 years 2 days ago
2005
Springer
The domain of digital rights management (DRM) is currently lacking a generic architecture that supports interoperability and reuse of specific DRM technologies. This lack of arch...
157
click to vote
EDO
2005
Springer
16 years 2 days ago
2005
Springer
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...