2138 search results - page 302 / 428 » Logics for the Relational Syllogistic |
FDL
2007
IEEE
14 years 3 months 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...
FUZZIEEE
2007
IEEE
14 years 3 months 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 ...
HICSS
2007
IEEE
14 years 3 months 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...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
VL
2007
IEEE
14 years 3 months 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...