1146 search results - page 139 / 230 » Applications of the TAMPR Transformation System |
129
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
125
Voted
MKWI
2008
15 years 6 months ago
2008
Agile workflow technology deals with business processes that require structural changes during run-time. For the difficult task of adapting the workflows, a modelling language that...
160
Voted
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
192
Voted
PKDD
2000
Springer
15 years 8 months ago
2000
Springer
Data mining is a useful decision support technique, which can be used to find trends and regularities in warehouses of corporate data. A serious problem of its practical applicatio...
294
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...