740 search results - page 61 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
107
click to vote
SP
1998
IEEE
15 years 5 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
107
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The SH3 domain family is one of the most representative and widely studied cases of so-called Peptide Recognition Modules (PRM). The polyproline II motif PxxP that gen...
ICDCS
1991
IEEE
15 years 5 months ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
124
click to vote
RPTEL
2006
15 years 1 months ago
2006
Making learning part of life is an essential challenge for inventing the future of our societies. Lifelong learning is a necessity rather than a possibility or a luxury to be cons...
100
click to vote
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
Peer-to-peer environments have become popular as a framework for exchange of services. In these environments, certain peers may fail to provide their services. Reputation can be a...