7107 search results - page 1157 / 1422 » Information Integration for the Masses |
157
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
163
click to vote
CHES
2005
Springer
16 years 4 days ago
2005
Springer
Electromagnetic analysis (EMA) can be used to compromise secret information by analysing the electric and/or magnetic fields emanating from a device. It follows differential power...
169
click to vote
COMPLIFE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...
156
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
168
click to vote
DSVIS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...