Sciweavers

2624 search results - page 284 / 525
» On Business Process Model Transformations
Sort
View
COMPSAC
2003
IEEE
15 years 12 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
ACISICIS
2008
IEEE
16 years 1 months ago
Designing Fault Tolerant Web Services Using BPEL
The web services technology provides an approach for developing distributed applications by using simple and well defined interfaces. Due to the flexibility of this architecture, ...
Jim Lau, Lau Cheuk Lung, Joni da Silva Fraga, Giul...
ISMIR
2001
Springer
108views Music» more  ISMIR 2001»
15 years 11 months ago
Towards a Cognitive Model of Melodic Similarity
In recent years the interest in melodic similarity has mushroomed mainly due to the increased importance of music information retrieval (MIR). A great number of similarity models ...
Ludger Hofmann-Engl
CIDR
2011
224views Algorithms» more  CIDR 2011»
14 years 10 months ago
Transactional Intent
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...
Shel Finkelstein, Thomas Heinzel, Rainer Brendle, ...
ACHI
2008
IEEE
16 years 1 months ago
Focusing Graphical User Interfaces in Model-Driven Software Development
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...