2043 search results - page 243 / 409 » Reasoning About Security Models |
173
click to vote
ATAL
2009
Springer
16 years 9 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
142
click to vote
IQ
2007
15 years 7 months ago
2007
: The systematic assessment, storage, and retrieval of data quality scores has proven to be an elusive problem, often tackled only with classifications, questionnaires, and models....
160
click to vote
AAAI
1998
15 years 7 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
152
click to vote
CNL
2009
15 years 6 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
129
click to vote
FMSD
2002
15 years 5 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...