Sciweavers

82 search results - page 7 / 17

» ifip 2010

41

IFIP
2010
Springer

95views Programming Languages» more IFIP 2010»

Supporting Software Services' Trustworthiness in Collaborative Networks

14 years 8 months ago

Supporting Software Services' Trustworthiness in Collaborative Networks

Download www.uninova.pt

Maiara Heil Cancian, Ricardo J. Rabelo, Christiane...

claim paper

Read More »

45

IFIP
2010
Springer

99views Programming Languages» more IFIP 2010»

An Innovative Framework Supporting SME Networks for Complex Product Manufacturing

14 years 8 months ago

An Innovative Framework Supporting SME Networks for Complex Product Manufacturing

Download www.uninova.pt

Luis Maia Carneiro, Ricardo Almeida, Améric...

claim paper

Read More »

55

IFIP
2010
Springer

149views Programming Languages» more IFIP 2010»

Learning Collaboration Moderator Services: Supporting Knowledge Based Collaboration

14 years 8 months ago

Learning Collaboration Moderator Services: Supporting Knowledge Based Collaboration

Download www.uninova.pt

Alok Kumar Choudhary, Jenny A. Harding, R. Swarnka...

claim paper

Read More »

89

IFIP
2010
Springer

122views Programming Languages» more IFIP 2010»

Foundations of Attack-Defense Trees

14 years 4 months ago

Foundations of Attack-Defense Trees

Download satoss.uni.lu

We introduce and give formal definitions of attack

Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patr...

claim paper

Read More »

78

IFIP
2010
Springer

136views Programming Languages» more IFIP 2010»

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus

14 years 4 months ago

Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus

Download satoss.uni.lu

Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...

Naipeng Dong, Hugo L. Jonker, Jun Pang

claim paper

Read More »

« Prev « First page 7 / 17 Last » Next »