592 search results - page 31 / 119 » CTL Model Update: Semantics, Computations and Implementation |
CCGRID
2006
IEEE
14 years 23 days ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
DOOD
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
EDOC
2009
IEEE
14 years 27 days ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...