Sciweavers

395 search results - page 43 / 79
» Development of a formal REA-ontology Representation
Sort
View
FOIS
2006
15 years 1 months ago
PR-OWL: A Framework for Probabilistic Ontologies
Abstract. Across a wide range of domains, there is an urgent need for a wellfounded approach to incorporating uncertain and incomplete knowledge into formal domain ontologies. Alth...
Paulo Cesar G. da Costa, Kathryn B. Laskey
SEMWEB
2005
Springer
15 years 5 months ago
Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
John Domingue, Stefania Galizia, Liliana Cabral
APN
2006
Springer
15 years 3 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux
DGO
2003
85views Education» more  DGO 2003»
15 years 1 months ago
Trust Resource Management in Digital Government Through Process Modeling
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
Lee Osterwil, Norman K. Sondheimer, Anthony Butter...
WSC
1998
15 years 1 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson