ENTCS 2006 | Sciweavers

32

ENTCS
2006

103views more ENTCS 2006»

A WOWA-based Aggregation Technique on Trust Values Connected to Metadata

13 years 11 months ago

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,...

claim paper

Read More »

10

click to vote

ENTCS
2006

113views more ENTCS 2006»

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

13 years 11 months ago

Download www.cle.unicamp.br

Itala M. Loffredo D'Ottaviano, Milton Augustinis D...

claim paper

Read More »

35

click to vote

ENTCS
2006

123views more ENTCS 2006»

Nonmonotonic Trust Management for P2P Applications

13 years 11 months ago

Download eprints.eemcs.utwente.nl

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...

claim paper

Read More »

45

click to vote

ENTCS
2006

113views more ENTCS 2006»

A Large-Scale Experiment in Executing Extracted Programs

13 years 11 months ago

Download wslc.math.ist.utl.pt

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

claim paper

Read More »

34

click to vote

ENTCS
2006

145views more ENTCS 2006»

Compositionality of Security Protocols: A Research Agenda

13 years 11 months ago

Download people.inf.ethz.ch

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

claim paper

Read More »

11

click to vote

ENTCS
2006

117views more ENTCS 2006»

Supporting Function Calls within PELCR

13 years 11 months ago

Download follia.di.unito.it

Antonio Cosentino, Marco Pedicini, Francesco Quagl...

claim paper

Read More »

32

click to vote

ENTCS
2006

102views more ENTCS 2006»

Using Association Aspects to Implement Organisational Contracts

13 years 11 months ago

Download www.ict.swin.edu.au

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

claim paper

Read More »

12

click to vote

ENTCS
2006

128views more ENTCS 2006»

Bunching for Regions and Locations

13 years 11 months ago

Download www.abdn.ac.uk

Matthew Collinson, David J. Pym

claim paper

Read More »

36

click to vote

ENTCS
2006

158views more ENTCS 2006»

Connector Colouring I: Synchronisation and Context Dependency

13 years 11 months ago

Download www.win.tue.nl

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

claim paper

Read More »

31

click to vote

ENTCS
2006

127views more ENTCS 2006»

Capability-Passing Processes

13 years 11 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers