9730 search results - page 176 / 1946 » Relating models of backtracking |
169
click to vote
CPHYSICS
2010
15 years 4 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
126
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Modeling is now an essential ingredient in business process management and information systems development. The general usefulness of models in these areas is therefore generally ...
128
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
124
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
109
click to vote
CRISIS
2008
15 years 5 months ago
2008
We are involved in a project related to the evaluation