29046 search results - page 235 / 5810 » Computable Models |
142
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
100
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
114
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
170
Voted
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
134
Voted
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...