Sciweavers

5681 search results - page 246 / 1137
» A Domain Model for eParticipation
Sort
View
BPM
2005
Springer
173views Business» more  BPM 2005»
16 years 5 days 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
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
16 years 1 hour 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 11 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 6 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
16 years 5 days 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