23413 search results - page 4480 / 4683 » or 2005 |
210
click to vote
ICDT
2005
ACM
16 years 22 days ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
178
click to vote
ICDT
2005
ACM
16 years 22 days ago
2005
ACM
Abstract. In this paper, we consider whether traditional index structures are effective in processing unstable nearest neighbors workloads. It is known that under broad conditions...
208
click to vote
ICESS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We consider broadcast protocols in wireless networks that have limited energy and computation resources. The well-known algorithm, DBIP (Directional Broadcast Incremental...
238
click to vote
ICFEM
2005
Springer
16 years 22 days ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
206
click to vote
ICFEM
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...