1867 search results - page 322 / 374 » Model-Checking Based Data Retrieval |
105
click to vote
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a device is to transit...
160
click to vote
SPIRE
2005
Springer
15 years 7 months ago
2005
Springer
Proximity searching consists in retrieving from a database, objects that are close to a query. For this type of searching problem, the most general model is the metric space, where...
155
click to vote
TES
2005
Springer
15 years 7 months ago
2005
Springer
The vision of Semantic Web services promises a network of interoperable Web services over different sources. A major challenge to the realization of this vision is the lack of aut...
122
click to vote
WIDM
2004
ACM
15 years 7 months ago
2004
ACM
We present the user evaluation of two recommendation server methodologies implemented for the NASA Technical Report Server (NTRS). One methodology for generating recommendations u...
107
click to vote
IH
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...