2050 search results - page 89 / 410 » A formal foundation for process modeling |
162
click to vote
PDSE
2000
15 years 7 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
139
click to vote
CSFW
2007
IEEE
16 years 21 days ago
2007
IEEE
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
153
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
150
click to vote
IFIP8
2007
15 years 7 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
171
click to vote
CAISE
2007
Springer
16 years 16 days ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...