Sciweavers

4737 search results - page 536 / 948
» The LOGIC negotiation model
Sort
View
RSCTC
2004
Springer
157views Fuzzy Logic» more  RSCTC 2004»
16 years 1 months ago
Rough Approximations under Level Fuzzy Sets
The combination of fuzzy set and rough set theories lead to various models. Functional and set approaches are two categories based on different fuzzy representations. In this pape...
W.-N. Liu, Jingtao Yao, Yiyu Yao
IFIP
2009
Springer
16 years 7 days ago
An Algebra for Trust Dilution and Trust Fusion
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
Baptiste Alcalde, Sjouke Mauw
WETICE
1999
IEEE
15 years 12 months ago
Active Hypertext for Distributed Web Applications
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
Eckhart Köppen, Gustaf Neumann
APSEC
1998
IEEE
15 years 12 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
AMAST
2006
Springer
15 years 11 months ago
Hyperfinite Approximations to Labeled Markov Transition Systems
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
Ernst-Erich Doberkat