3688 search results - page 371 / 738 » Static analysis of aspects |
339
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
183
click to vote
IVCNZ
1998
15 years 8 months ago
1998
Duality is a well-established concept in quantum physics. It formalises the fact that what one observes is not nature in itself, but--in Heisenberg's words--"nature expo...
203
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...
177
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper, we investigate the issues in the analysis and design of provably secure message authentication codes (MACs) Nested MAC (NMAC) and Hash based MAC (HMAC) proposed by ...