3239 search results - page 153 / 648 » A Logical Process Calculus |
166
click to vote
VVEIS
2007
15 years 4 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
179
click to vote
VLSID
1993
IEEE
15 years 7 months ago
1993
IEEE
High throughput and low latency designs are required in modern high performance systems, especially for signal processing applications. Existing logic families cannot provide both...
132
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
100
click to vote
JDCTA
2008
15 years 3 months ago
2008
Access control includes physical and logical access control. Physical access control protects the damage, theft and losing of assess. In this paper, we propose the method to prote...
103
click to vote
IPL
1998
15 years 2 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...