Sciweavers

2005 search results - page 116 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
ESEC
1999
Springer
15 years 2 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
15 years 4 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
HCI
2007
14 years 11 months ago
Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
Andreas Pleuß, Heinrich Hußmann
CSMR
1999
IEEE
15 years 2 months ago
Restructuring of COBOL/CICS Legacy Systems
We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large...
Alex Sellink, Chris Verhoef, Harry M. Sneed
BPM
2009
Springer
340views Business» more  BPM 2009»
15 years 4 months ago
Abstractions in Process Mining: A Taxonomy of Patterns
ions in Process Mining: A Taxonomy of Patterns R.P. Jagadeesh Chandra Bose1,2 and Wil M.P. van der Aalst1 1 Department of Mathematics and Computer Science, University of Technology...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...