Sciweavers

2303 search results - page 410 / 461
» On the logic of argumentation theory
Sort
View
ESORICS
2007
Springer
16 years 10 days ago
Modular Access Control Via Strategic Rewriting
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
Daniel J. Dougherty, Claude Kirchner, Hél&e...
FSKD
2007
Springer
140views Fuzzy Logic» more  FSKD 2007»
16 years 10 days ago
QoS-Aware Web Service Selection by a Synthetic Weight
The selection of web services according to different quality of service (QoS) is one of the most important decision issues for which complex considerations are involved. In many c...
PengCheng Xiong, Yushun Fan
ISNN
2007
Springer
16 years 9 days ago
A Connectionist Thematic Grid Predictor for Pre-parsed Natural Language Sentences
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
João Luís Garcia Rosa
WILF
2007
Springer
114views Fuzzy Logic» more  WILF 2007»
16 years 8 days ago
Information Entropy and Co-entropy of Crisp and Fuzzy Granulations
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...
Daniela Bianucci, Gianpiero Cattaneo, Davide Ciucc...
ICNP
2006
IEEE
16 years 6 days ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...