Reasoning about the ASM Ground Model
Application Security Maturity Model (ASM)
... The grid was populated from information we knew directly about organizations and their security investments. For example, to be plotted, we had to be able to determine an organization’s investment for both T&T ...
11
Reasoning about Relevance
... concerns about how the information would be used (situational relevance) were related to the inability to formulate a clear topical relevance model, which may have been exacerbated by a lack of exposure to ...
51
Reasoning about covariation with TinkerPlots
... and reasoning within EDA software ...new model of learning behaviour that takes into account the potential application of graphing software in the EDA ...new model as ...
316
Reasoning About the Correctness of Sanitizers
... • Transition coverage with 2,000 tests per transition • Predicate coverage with 2,000 tests per (sub-)predicate All processes had a time-out set to 30 minutes. If no model was found within this time, then the ...
81
Reasoning About Uncertain Conditionals
... of reasoning to investigate indicative ...of reasoning: Rips’ theory of mental rules [47] and Braine and O’Brien’s theory of mental logic ...Likewise, model-theoretic semantics influ- enced ...
18
Reasoning about agent deliberation
... for reasoning about deliberation strategies; deliberation strategies are expressed as axioms in the logics, and the logics are complete and ...a model-checking ...reason about safety and ...
28
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
... involves reasoning through intricate system interactions along paths between sensors, actuators and control ...robustness. Model-based program- ming addresses these limitations, allowing engineers to ...
15
A cognitive model of the roles of diagrammatic representation in supporting unpractised reasoning about probability
... cognitive model. The model has been developed incrementally as both a pragmatic strategy of model development, but also in response to the increased understanding of requirements and limitations of ...
293
Reasoning with a Domain Model
... domain model called ...knowledge about conceptual entities and relationships in the domain in question, this model may be used as part of a reasoning mechanism to both check and generate types ...
11
Reasoning about Dynamic Epistemic Logic
... Finally, in our third contribution we generalize the boolean setting of DEL to non-boolean contexts that model partiality of knowledge and information update. In such settings the negation of a proposi- tions or ...
10
Reasoning About Willingness in Networks of Agents
... Dependency model has been successfully employed to analyze trust relationships of networks of agents during the early stages of multiagent systems ...the model only supports limited trust reasoning ...
16
A logic for reasoning about knowledge of unawareness
... 2 Background: Logics of Awareness and Unawareness In this paper we consider several logical languages L . We define the meaning of each of these by defining the concept of a formula φ ∈ L being true (or satisfied) in the ...
22
Specifying and reasoning about uncertain agents
... Abstract Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based sys- tems, but also to provide the foundation for sophisticated reasoning techniques to ...
17
A logic for reasoning about counterfactual emotions
... of a given stimulus: causes and consequences of the event, relevance and congruence with respect to current goals and in- terests, coping possibilities, and urgency. However, this model considers not only the ...
34
A Framework for Reasoning About the Human in the Loop
... C-HIP model to identify reasons that a particular warning is ineffective ...C-HIP model begins with a source delivering a warning to a receiver, who receives it along with other environmental stimuli that ...
15
Equational reasoning about quantum protocols
... Related Work. Previous work on automated analysis is based on exhaustive simulation based on stabiliser formalism. Model checking tools like the QMC [10] and the equivalence checker [1] were developed for the ...
17
Reasoning about Edits to Feature Models
... feature model. As a consequence, inadvertently adding and deleting products was always a possibility, and discovering errors was fortuitous. This no longer has to be the case. We presented an efficient algorithm ...
11
A Metamodeling Approach for Reasoning about Requirements
... activity model in requirements engineering for identifying and separating crosscutting functional and non-functional ...data model has too generic entities and relations like Information Type, Association, ...
16
Reasoning about Fuzzy Functional Dependencies
... lational Model to include imprecise/fuzzy informa- tion [6, 18, 19, ...Relational Model also require to consider an extension of the integrity constraints that may involve fuzzy con- ...
6
Reasoning about hybrid reasoning : a discussion
... high level of understanding about the relationship between different hybrid reasoning systems, and allows advantage to be taken of results about classical systems.. There[r] ...
8