4224 search results - page 631 / 845 » Reasoning about Choice |
186
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
167
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
190
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
187
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...
192
click to vote
CCGRID
2006
IEEE
16 years 20 days ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...