2043 search results - page 324 / 409 » Reasoning About Security Models |
133
Voted
ARGMAS
2007
Springer
15 years 4 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
113
click to vote
IJCAI
1997
15 years 2 months ago
1997
Object identification—the task of deciding that two observed objects are in fact one and the same object—is a fundamental requirement for any situated agent that reasons about...
129
click to vote
ECMDAFA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
117
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
141
click to vote
ISARCS
2010
15 years 2 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...