Sciweavers

Share
ENTCS
2006
103views more  ENTCS 2006»
9 years 9 months ago
A WOWA-based Aggregation Technique on Trust Values Connected to Metadata
Metadata produced by members of a diverse community of peers tend to contain low-quality or even mutually inconsistent assertions. Trust values computed on the basis of users'...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
ENTCS
2006
113views more  ENTCS 2006»
9 years 9 months ago
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics
Itala M. Loffredo D'Ottaviano, Milton Augustinis D...
ENTCS
2006
123views more  ENTCS 2006»
9 years 9 months ago
Nonmonotonic Trust Management for P2P Applications
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etal...
ENTCS
2006
113views more  ENTCS 2006»
9 years 9 months ago
A Large-Scale Experiment in Executing Extracted Programs
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
Luís Cruz-Filipe, Pierre Letouzey
ENTCS
2006
145views more  ENTCS 2006»
9 years 9 months ago
Compositionality of Security Protocols: A Research Agenda
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
Cas J. F. Cremers
ENTCS
2006
117views more  ENTCS 2006»
9 years 9 months ago
Supporting Function Calls within PELCR
Antonio Cosentino, Marco Pedicini, Francesco Quagl...
ENTCS
2006
102views more  ENTCS 2006»
9 years 9 months ago
Using Association Aspects to Implement Organisational Contracts
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...
Alan W. Colman, Jun Han
ENTCS
2006
128views more  ENTCS 2006»
9 years 9 months ago
Bunching for Regions and Locations
Matthew Collinson, David J. Pym
ENTCS
2006
158views more  ENTCS 2006»
9 years 9 months ago
Connector Colouring I: Synchronisation and Context Dependency
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
Dave Clarke, David Costa, Farhad Arbab
ENTCS
2006
127views more  ENTCS 2006»
9 years 9 months ago
Capability-Passing Processes
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
Tom Chothia, Dominic Duggan
books