329 search results - page 49 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
ICNP
2009
IEEE
14 years 9 months ago
2009
IEEE
The Domain Name System (DNS) is integral to today's Internet. Name resolution for a domain is often dependent on servers well outside the control of the domain's owner. I...
199
click to vote
PLDI
2009
ACM
16 years 10 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
102
Voted
SIGIR
2002
ACM
14 years 11 months ago
2002
ACM
Collaborative filtering (CF) is valuable in e-commerce, and for direct recommendations for music, movies, news etc. But today's systems have several disadvantages, including ...
115
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
107
click to vote
VLSID
2002
IEEE
16 years 2 days ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...