5550 search results - page 871 / 1110 » Different Approaches to Proof Systems |
169
click to vote
ISMVL
2010
IEEE
15 years 12 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
158
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
In e-business, creating a common concept set for business integration, interoperation and interaction has to consider the heterogeneity reality of different interpretations from m...
164
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
165
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Multi-agent coordination problems can be cast as distributed optimization tasks. Probability Collectives (PCs) are techniques that deal with such problems in discrete and conti...
199
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
ct Information Integration is among the most important fields in information management. The problem of integrating data from diverse, possibly heterogeneous data sources is ubiqu...