ENTCS 2007 | Sciweavers

Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...

Antonio Brogi, Carlos Canal, Ernesto Pimentel

claim paper

Read More »

6

click to vote

ENTCS
2007

83views more ENTCS 2007»

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

13 years 4 months ago

Download lia.deis.unibo.it

Mirko Viroli, Andrea Omicini

claim paper

Read More »

13

click to vote

ENTCS
2007

104views more ENTCS 2007»

A Formal Framework for Web Services Coordination

13 years 4 months ago

Download www.cs.unibo.it

Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...

Claudio Guidi, Roberto Lucchi, Manuel Mazzara

claim paper

Read More »

9

click to vote

ENTCS
2007

89views more ENTCS 2007»

Weak Probabilistic Anonymity

13 years 4 months ago

Download www.lix.polytechnique.fr

Abstract. Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can...

Yuxin Deng, Catuscia Palamidessi, Jun Pang

claim paper

Read More »

7

click to vote

ENTCS
2007

79views more ENTCS 2007»

Towards Trustworthy Spatial Messaging

13 years 4 months ago

Download cuiwww.unige.ch

Spatial messaging is a term that deﬁnes the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...

Michel Deriaz, Jean-Marc Seigneur

claim paper

Read More »

12

click to vote

ENTCS
2007

132views more ENTCS 2007»

Building Reputations for Internet Clients

13 years 4 months ago

Download www.isi.edu

We propose a design of a client reputation system that can be used to reduce unwanted trafﬁc in the Internet. Many reputation systems proposed in the trust literature are provid...

Songjie Wei, Jelena Mirkovic

claim paper

Read More »

16

click to vote

ENTCS
2007

92views more ENTCS 2007»

The MoR-Trust Distributed Trust Management System: Design and Simulation Results

13 years 4 months ago

Download www.dmst.aueb.gr

MoR-Trust is a purely decentralized peer-to-peer trust management system, targeted towards networks and applications supporting transactions or collaborations of a quantitative na...

Stephanos Androutsellis-Theotokis, Diomidis Spinel...

claim paper

Read More »

4

click to vote

ENTCS
2007

82views more ENTCS 2007»

Animation Metaphors for Object-Oriented Concepts

13 years 4 months ago