8828 search results - page 1483 / 1766 » Formal methods in practice |
197
click to vote
CLUSTER
2005
IEEE
16 years 11 days ago
2005
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The related computation integrity concerns are commonly...
260
click to vote
EEE
2005
IEEE
16 years 11 days ago
2005
IEEE
Effective Web site design is critical to the success of e-commerce. Therefore, the evaluation and enhancement of a Web site design is of great importance. In this vein, accessibil...
172
click to vote
FOCS
2005
IEEE
16 years 11 days ago
2005
IEEE
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
148
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
Understanding the use of diagrams and other components of scholarly systems-related papers may inform us about the papers, the field, and the way we think. We analyze 495 papers c...
186
click to vote
HOTI
2005
IEEE
16 years 11 days ago
2005
IEEE
— Operators need routers to provide service guarantees such as guaranteed flow rates and fairness among flows, so as to support real-time traffic and traffic engineering. How...