19367 search results - page 394 / 3874 » Fine-Grain Process Modelling |
118
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Associated with the ever growing integration scales is the increase in process variability. In the context of networkon-chip, this variability affects the maximum frequency that...
138
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
139
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
176
click to vote
EKAW
1992
Springer
15 years 8 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
153
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We propose an analytic moment-based filter for nonlinear stochastic dynamic systems modeled by Gaussian processes. Exact expressions for the expected value and the covariance matr...