1360 search results - page 184 / 272 » Reasoning on Workflow Executions |
148
click to vote
ENTCS
2010
15 years 23 days ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
138
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
129
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we address the matrix completion problem and propose a novel algorithm based on a smoothed rank function (SRF) approximation. Among available algorithms like FPCA a...
151
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
114
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...