3104 search results - page 303 / 621 » Using quantitative analysis to implement autonomic IT system... |
133
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
121
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
147
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
We have developed the ZENTURIO experiment management system for performance studies, parameter studies, and software testing of parallel applications on cluster and Grid architect...
141
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
The use of inaccurate or outdated database statistics by the query optimizer in a relational DBMS often results in a poor choice of query execution plans and hence unacceptably lo...
152
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The growing infrastructure for Web Services assumes a "programmer in the loop" that hardcodes the connections between Web Services and directly programs Web Service comp...