2520 search results - page 37 / 504 » Alias Types and Effects for |
134
click to vote
GLOBECOM
2006
IEEE
15 years 12 months ago
2006
IEEE
— Existing Internet worm research focuses either on worm detection inside an AS, or on prevention of Internet-wide worm epidemic. But of more practical concern is how to repel wo...
187
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
152
click to vote
ECSCW
2001
15 years 7 months ago
2001
Network delays are a fact of life when using real-time groupware over a wide area network such as the Internet. This paper looks at how network delays affect closelycoupled group w...
186
click to vote
JUCS
2008
15 years 5 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...
170
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...