1320 search results - page 179 / 264 » A View Based Analysis of Workflow Modeling Languages |
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
CSFW
2012
IEEE
12 years 18 days ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
INFSOF
2007
13 years 10 months ago
2007
Citations and related work are crucial in any research to position the work and to build on the work of others. A high citation count is an indication of the influence of speci...
EUROMICRO
1996
IEEE
14 years 2 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...