384 search results - page 66 / 77 » Get another label |
103
Voted
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
117
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
93
Voted
ICADL
2004
Springer
15 years 6 months ago
2004
Springer
The need for fast and vast dissemination of research results has led a new trend such that more number of authors post their documents to personal or group Web spaces so that other...
133
Voted
ISPASS
2003
IEEE
15 years 6 months ago
2003
IEEE
Achieving high performance in cryptographic processing is important due to the increasing connectivity among today’s computers. Despite steady improvements in microprocessor and...
140
click to vote
AOSD
2003
ACM
15 years 6 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...