22864 search results - page 22 / 4573 » An Integrated and |
ADC
1993
Springer
15 years 1 months ago
1993
Springer
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...
131
click to vote
AMAST
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
ECEH
2006
14 years 11 months ago
2006
Data integration in medical applications is a crucial and sensitive task. It turns out that there are rigid factors like heterogeneous, distributed data sources, security, and comp...
AMC
2008
14 years 9 months ago
2008
In the article, the noted Darboux's formula of functions with single variable is generalized to that of functions of two independent variables with integral remainder, some im...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We present a quasi-analytic perturbation expansion for multivariate N dimensional Gaussian integrals. The perturbation expansion is an infinite series of lower-dimensional integra...