3239 search results - page 153 / 648 » A Logical Process Calculus |
146
click to vote
VVEIS
2007
15 years 2 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...
153
Voted
VLSID
1993
IEEE
15 years 5 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...
104
Voted
CAISE
2004
Springer
15 years 6 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...
79
Voted
JDCTA
2008
15 years 24 days 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...
IPL
1998
15 years 15 days 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...