2623 search results - page 130 / 525 » tools 2010 |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The emergence of new higher education institutions has created the competition in higher education market, and data warehouse can be used as an effective technology tools for incr...
ENTCS
2008
13 years 9 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
ISSE
2010
13 years 8 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
PVLDB
2010
13 years 8 months ago
2010
To evaluate the performance of database applications and DBMSs, we usually execute workloads of queries on generated databases of different sizes and measure the response time. Th...
ICTAI
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...