3690 search results - page 656 / 738 » Computation with classical sequents |
145
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
153
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
163
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider a variant of the classic multi-armed bandit problem (MAB), which we call FEEDBACK MAB, where the reward obtained by playing each of n independent arms varies according...
139
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Live peer-to-peer (P2P) streaming applications have been successfully deployed in the Internet. With relatively simple peer selection protocol design, modern live P2P streaming ap...
151
Voted
NOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...