19367 search results - page 319 / 3874 » Fine-Grain Process Modelling |
113
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
135
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
145
click to vote
DAWAK
2009
Springer
15 years 1 months ago
2009
Springer
Data Warehouses (DW) manage crucial enterprise information used for the decision making process which has to be protected from unauthorized accesses. However, security constraints ...
137
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
se an abstract model of business processes for the purpose of (i) evaluating privacy policy in light of the goals of the process and (ii) developing automated support for privacy ...
148
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...