Sciweavers

10682 search results - page 243 / 2137
» A Graph Based Process Representation for Process Modeling
Sort
View
ICWS
2007
IEEE
13 years 9 months ago
A Semantic Web Services-based Infrastructure for Context-Adaptive Process Support
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
Stefan Dietze, Alessio Gugliotta, John Domingue
JUCS
2000
102views more  JUCS 2000»
13 years 8 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
CORR
2012
Springer
210views Education» more  CORR 2012»
12 years 4 months ago
Fast MCMC sampling for Markov jump processes and continuous time Bayesian networks
Markov jump processes and continuous time Bayesian networks are important classes of continuous time dynamical systems. In this paper, we tackle the problem of inferring unobserve...
Vinayak Rao, Yee Whye Teh
CAV
1998
Springer
138views Hardware» more  CAV 1998»
14 years 16 days ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
JOT
2007
87views more  JOT 2007»
13 years 8 months ago
Persistent Processes and Distribution in Timor
The paper explains the concept of persistent processes and threads in Timor, showing how it is based on the in-process (procedure oriented) model of process execution. In their Ti...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...