Sciweavers

12183 search results - page 2213 / 2437
» Computers under Attacks!
Sort
View
PAM
2004
Springer
15 years 12 months ago
Measurements and Laboratory Simulations of the Upper DNS Hierarchy
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
Duane Wessels, Marina Fomenkov, Nevil Brownlee, Ki...
PRICAI
2004
Springer
15 years 12 months ago
Solving Over-Constrained Temporal Reasoning Problems Using Local Search
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
Matthew Beaumont, John Thornton, Abdul Sattar, Mic...
RT
2004
Springer
15 years 12 months ago
PointWorks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
Hui Xu, Nathan Gossett, Baoquan Chen
SPIN
2004
Springer
15 years 12 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
AINA
2003
IEEE
15 years 12 months ago
A Safe Multiple Access-Rates Transmission (SMART) Scheme for IEEE 802.11 Wireless Networks
Abstract— The IEEE 802.11 standard and enhanced amendments have defined fourteen transmission rates (1/2/5.5/6/9/11/12/ 18/22/24/33/36/48/54 Mb/s) for mobile stations to transmi...
Shiann-Tsong Sheu, Jenhui Chen, Hsueh-Wen Tseng, H...
« Prev « First page 2213 / 2437 Last » Next »