Sciweavers

619 search results - page 51 / 124
» IFIP
Sort
View
IFIP
2009
Springer
14 years 9 months ago
Game-Based Verification of Multi-Party Contract Signing Protocols
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
IFIP
2010
Springer
14 years 6 months ago
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus
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
IFIP12
2008
15 years 1 months ago
Mining Fuzzy Association Rules from Composite Items
This paper presents an approach for mining fuzzy Association Rules (ARs) relating the properties of composite items, i.e. items that each feature a number of values derived from a ...
M. Sulaiman Khan, Maybin K. Muyeba, Frans Coenen
IFIP12
2008
15 years 1 months ago
A Study with Class Imbalance and Random Sampling for a Decision Tree Learning System
Sampling methods are a direct approach to tackle the problem of class imbalance. These methods sample a data set in order to alter the class distributions. Usually these methods ar...
Ronaldo C. Prati, Gustavo E. A. P. A. Batista, Mar...
IFIP12
2008
15 years 1 months ago
Teaching Autonomous Agents to Move in a Believable Manner within Virtual Institutions
Believability of computerised agents is a growing area of research. This paper is focused on one aspect of believability - believable movements of avatars in normative 3D Virtual W...
Anton Bogdanovych, Simeon J. Simoff, Marc Esteva, ...