5243 search results - page 64 / 1049 » Reasoning About Strategies |
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
67
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
ESAW
2004
Springer
15 years 6 months ago
2004
Springer
141
click to vote
FMCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
95
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...