4693 search results - page 884 / 939 » Verifying Hybrid Systems |
102
click to vote
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
We consider experiments to measure the quality of a web search algorithm based on how much total time users take to complete assigned search tasks using that algorithm. We first ...
112
Voted
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...
108
click to vote
RECONFIG
2008
IEEE
15 years 7 months ago
2008
IEEE
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
100
Voted
ACNS
2008
Springer
15 years 7 months ago
2008
Springer
Peer-to-Peer (P2P) overlay networks are a flexible way of creating decentralized services. Although resilient to external Denial of Service attacks, overlay networks can be render...
118
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...