2005 search results - page 251 / 401 » Business Process Knowledge Modelling: Method and Tool |
174
click to vote
JBCS
2010
15 years 2 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
136
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
149
click to vote
CSDA
2006
15 years 4 months ago
2006
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
227
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Reverse skyline queries over uncertain databases have many important applications such as sensor data monitoring and business planning. Due to the existence of uncertainty in many...
134
click to vote
SMI
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a method for deforming piecewise linear 3D curves with constant length constraint. We show how this constraint can be integrated into a multiresolution editing tool all...