1360 search results - page 80 / 272 » Reasoning on Workflow Executions |
128
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
133
click to vote
USENIX
2007
15 years 5 months ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...
149
Voted
PEPM
2010
ACM
16 years 13 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
135
click to vote
DFG
2003
Springer
15 years 8 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
126
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...