8446 search results - page 409 / 1690 » A Process Compensation Language |
172
click to vote
DNIS
2005
Springer
16 years 12 days ago
2005
Springer
Access control is the process of mediating every request to data and services maintained by a system and determining whether the request should be granted or denied. Expressiveness...
169
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
120
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a new approach for describing contents through the use of interlinguas in order to facilitate the extraction of specific pieces of information. The authors hig...
156
click to vote
ZEUS
2010
15 years 8 months ago
2010
The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is...
207
click to vote
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...