2806 search results - page 375 / 562 » BML and Related Tools |
163
click to vote
TCC
2007
Springer
16 years 21 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
160
click to vote
3DPVT
2006
IEEE
16 years 20 days ago
2006
IEEE
— In this paper we report our progress in building a system for the acquisition, analysis, and visualization of a collection of Native Californian baskets from the Phoebe A. Hear...
186
click to vote
CBMS
2006
IEEE
16 years 20 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
146
click to vote
CCGRID
2006
IEEE
16 years 19 days ago
2006
IEEE
During the past decade, the scientific community has witnessed the rapid accumulation of gene sequence data and data related to physiology and biochemistry of organisms. Bioinform...
164
click to vote
CSMR
2006
IEEE
16 years 19 days ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...