Sciweavers

4737 search results - page 195 / 948
» The LOGIC negotiation model
Sort
View
EUSFLAT
2009
212views Fuzzy Logic» more  EUSFLAT 2009»
13 years 7 months ago
An Interval Type-2 Fuzzy Distribution Network
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
Simon Miller, Viara Popova, Robert John, Mario A. ...
FM
2003
Springer
139views Formal Methods» more  FM 2003»
14 years 2 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
FUZZY
1997
Springer
101views Fuzzy Logic» more  FUZZY 1997»
14 years 1 months ago
Fuzzy Modeling of Conceptual Spaces
It is introduced a new concept: H-sets which generalises the notion of fuzzy sets and is based on the concept of hemilattice. Then, we extend the attribute-value conceptual spaces ...
Adrian Silvescu
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 9 months ago
A Sequent Calculus for Modelling Interferences
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
Christophe Fouqueré
LAWEB
2009
IEEE
14 years 4 months ago
Policy Based Protection and Personalized Generation of Web Content
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, W...