2251 search results - page 395 / 451 » Specification and Implementation Problems for C |
133
click to vote
DIGITALCITIES
2003
Springer
15 years 8 months ago
2003
Springer
In order to utilize geographic web information for digital city applications, we have been developing a geographic web search system, KyotoSEARCH. When users retrieve geographic in...
140
click to vote
FMLDO
1999
Springer
15 years 7 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
116
click to vote
IUI
1998
ACM
15 years 7 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
126
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
132
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Single-dimension Software Pipelining (SSP) has been proposed as an effective software pipelining technique for multi-dimensional loops [16]. This paper introduces for the first tim...