4636 search results - page 570 / 928 » Modelling and Validation with VipTool |
221
Voted
ARC
2010
Springer
15 years 7 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
138
Voted
CAD
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
153
click to vote
DSS
2007
15 years 6 months ago
2007
Process-aware information systems are typically driven by process models capturing an idealized view of the actual processes. For example, most process models assume that planned ...
186
click to vote
JWSR
2008
15 years 6 months ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
162
Voted
ENTCS
2007
15 years 6 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...