2012 search results - page 290 / 403 » CORAL - Control, Relations and Logic |
153
click to vote
FDL
2007
IEEE
16 years 22 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
161
click to vote
FUZZIEEE
2007
IEEE
16 years 22 days ago
2007
IEEE
— The aim of this work is to analyze interval fuzzy S-implications and interval automorphisms. Starting from any fuzzy S-implication, it is shown how to obtain an interval fuzzy ...
139
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
174
click to vote
VL
2007
IEEE
16 years 20 days ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
173
click to vote
CIA
2007
Springer
16 years 17 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...