10038 search results - page 1720 / 2008 » Model Checking for Managers |
183
click to vote
FAST
2010
15 years 8 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
174
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Personalization has been deemed one of the major challenges in information retrieval with a significant potential for providing better search experience to individual users. Espec...
215
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Tagged data is rapidly becoming more available on the World Wide Web. Web sites which populate tagging services offer a good way for Internet users to share their knowledge. An in...
182
click to vote
BPSC
2007
15 years 8 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
178
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
In its basic form, a variability model describes the variations among similar artifacts from a structural point of view. It does not capture any information about when these variat...