Sciweavers

2624 search results - page 418 / 525
» On Business Process Model Transformations
Sort
View
GG
2004
Springer
15 years 9 months ago
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
Simon M. Becker, Sebastian Lohmann, Bernhard Westf...
ISMDA
2004
Springer
15 years 9 months ago
RF Inhomogeneity Correction Algorithm in Magnetic Resonance Imaging
MR images usually present grey level inhomogeneities which are a problem of significant importance. Eliminating these inhomogeneities is not an easy problem and has been studied a...
Juan Antonio Hernández Tamames, Martha L. M...
PRIB
2009
Springer
187views Bioinformatics» more  PRIB 2009»
15 years 8 months ago
Semi-supervised Prediction of Protein Interaction Sentences Exploiting Semantically Encoded Metrics
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
Tamara Polajnar, Mark A. Girolami
APN
2000
Springer
15 years 8 months ago
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
Mohammed Elkoutbi, Rudolf K. Keller
FOAL
2007
ACM
15 years 8 months ago
Aspect-oriented programming with type classes
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
Martin Sulzmann, Meng Wang