9110 search results - page 1551 / 1822 » Formally-Based Design Evaluation |
133
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
As web-based transactions become an essential element of everyday corporate and commerce activities, it becomes increasingly important that the performance of web-based services b...
136
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
139
click to vote
WSNA
2003
ACM
15 years 9 months ago
2003
ACM
Sensor networks have become an important source of data with numerous applications in monitoring various real-life phenomena as well as industrial applications and traffic contro...
124
click to vote
AP2PC
2003
Springer
15 years 9 months ago
2003
Springer
The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...
142
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits t...