4036 search results - page 481 / 808 » Formal Methods |
201
click to vote
IEEECIT
2005
IEEE
16 years 9 days ago
2005
IEEE
Web warehouse provides high availability and efficiency by utilizing materialized webviews, which should be refreshed in time to keep freshness. During the refreshing, the consis...
189
click to vote
CPM
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
140
click to vote
VLBV
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...
167
click to vote
HPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
170
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...