4609 search results - page 647 / 922 » Automatic Generation of Sigma-Protocols |
151
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
178
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Clio project provides tools that vastly simplify information integration. Information integration requires data conversions to bring data in different representation...
217
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
168
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Packet header analysis and extraction of header fields needs to be performed in all network devices. As network speed is increasing quickly, high speed packet header processing...
147
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The IP Multimedia Subsystem (IMS) is being deployed in the Third Generation (3G) networks since it supports many kinds of multimedia services. However, the security of I...