5243 search results - page 58 / 1049 » Reasoning About Strategies |
144
Voted
POPL
2004
ACM
16 years 25 days ago
2004
ACM
PODS
2007
ACM
16 years 19 days ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
100
click to vote
IEEEARES
2010
IEEE
15 years 7 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
51
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
113
Voted
CP
2009
Springer
15 years 7 months ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...