2050 search results - page 147 / 410 » A formal foundation for process modeling |
255
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
148
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
168
click to vote
MIE
2008
2008
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
15 years 8 months ago
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
160
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
148
click to vote
BPM
2010
Springer
15 years 7 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...