523 search results - page 105 / 105 » Online Testing of Real-time Systems Using Uppaal |
DEXAW
2008
IEEE
14 years 13 days ago
2008
IEEE
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
HICSS
2002
IEEE
13 years 11 months ago
2002
IEEE
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
BMCBI
2005
13 years 5 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...