4340 search results - page 648 / 868 » Formal Methods and Cryptography |
166
click to vote
SP
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
178
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
178
click to vote
SAS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
166
click to vote
HIKM
2006
ACM
16 years 14 days ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
182
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...