4460 search results - page 888 / 892 » Resources in process algebra |
WWW
2011
ACM
13 years 4 months ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
Web search engines have historically focused on connecting people with information resources. For example, if a person wanted to know when their flight to Hyderabad was leaving, a...
JSAT
2010
13 years 4 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
NAR
2010
13 years 4 months ago
2010
During cell division/mitosis, a specific subset of proteins is spatially and temporally assembled into protein super complexes in three distinct regions, i.e. centrosome/spindle p...
PE
2010
Springer
13 years 4 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...