3719 search results - page 84 / 744 » order 2010 |
ENTCS
2006
13 years 10 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
PROCEDIA
2010
13 years 8 months ago
2010
In this short note, a direct proof of L2 convergence of an Euler–Maruyama approximation of a Zakai equation driven by a square integrable martingale is shown. The order of conve...
CMA
2010
13 years 7 months ago
2010
: In this paper we study the existence and uniqueness of solutions to a nonlinear Neumann problem for a scalar second order ordinary differential equation u = a t u + f(t, u, u ), ...
ENTCS
2010
13 years 7 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
IJBC
2010
13 years 7 months ago
2010
Curves of parameter values for which an asymptotic value of F,(z) = 1 + e-z lies on a pre-pole of arbitrary order are found through an iterative method. Some of these curves are sh...