Sciweavers

5681 search results - page 246 / 1137
» A Domain Model for eParticipation
Sort
View
BPM
2005
Springer
173views Business» more  BPM 2005»
15 years 11 months ago
Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
Rainer Anzböck, Schahram Dustdar
202
Voted
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 11 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
KI
2001
Springer
15 years 10 months ago
DiKe - A Model-Based Diagnosis Kernel and Its Application
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
Gerhard Fleischanderl, Thomas Havelka, Herwig Schr...
NAR
2006
164views more  NAR 2006»
15 years 5 months ago
FISH - family identification of sequence homologues using structure anchored hidden Markov models
The FISH server is highly accurate in identifying the family membership of domains in a query protein sequence, even in the case of very low sequence identities to known homologue...
Jeanette Tångrot, Lixiao Wang, Bo Kågs...
CAISE
2005
Springer
15 years 11 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels