4224 search results - page 280 / 845 » Reasoning about Choice |
147
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Software and the computational behaviors it defines are increasingly important sources of both economic costs and benefits for companies, governments and individuals. Nevertheless...
179
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
191
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
176
click to vote
ICAIL
2005
ACM
16 years 26 days ago
2005
ACM
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...
201
click to vote
ICLP
2005
Springer
16 years 25 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...