5243 search results - page 789 / 1049 » Reasoning About Strategies |
190
click to vote
TACAS
2007
Springer
16 years 23 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...
194
click to vote
TLCA
2007
Springer
16 years 23 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...
189
click to vote
VLDB
2007
ACM
16 years 23 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...
196
click to vote
CCGRID
2006
IEEE
16 years 22 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...
177
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...