2069 search results - page 355 / 414 » Synthesizing |
162
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
190
click to vote
AAAI
2011
14 years 5 months ago
2011
In many multi-agent applications such as distributed sensor nets, a network of agents act collaboratively under uncertainty and local interactions. Networked Distributed POMDP (ND...
301
click to vote
BPM
2011
Springer
14 years 5 months ago
2011
Springer
Compliance to legal regulations, internal policies, or best practices is becoming a more and more important aspect in business processes management. Compliance requirements are usu...
177
click to vote
CSFW
2011
IEEE
14 years 5 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
190
click to vote
DGO
2011
14 years 5 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...