1040 search results - page 10 / 208 » Resource Usage Verification |
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Due to slightly changed scenarios of usage a one-to-one reuse of existing E-Learning resource often is not possible. Actual approaches for retrieving existing E-Learning resources ...
HPDC
2000
IEEE
13 years 11 months ago
2000
IEEE
Data-intensive applications in the Condor High Throughput Computing environment can place heavy demands on network resources for checkpointing and remote data access. We have deve...
CHARME
2003
Springer
13 years 11 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
GECON
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. The commercial availability of computational resources enable consumers to scale their applications on-demand. However, it is necessary for both consumers and providers o...
HT
2006
ACM
14 years 1 months ago
2006
ACM
One of the basic methods of web usage mining are association rules that indicate relationships among common use of web pages. Positive and confined negative association rules are ...