5243 search results - page 852 / 1049 » Reasoning About Strategies |
170
click to vote
CAISE
2010
Springer
15 years 6 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
191
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
179
click to vote
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...
181
click to vote
ICDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to act as enablers of seamless application-to-application integration both within company ...
135
click to vote
C++
1994
15 years 7 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...