loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05)
Coalgebraic Component Specification and Verification in RSL
Dalian, China
December 05-December 08
ISBN: 0-7695-2405-2
ASCII Text
x 
 
Sun Meng, Bernhard K. Aichernig, Zhang Naixiao, "Coalgebraic Component Specification and Verification in RSL," Parallel and Distributed Computing Applications and Technologies, International Conference on, pp. 424-426, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/PDCAT.2005.100,
author = {Sun Meng and Bernhard K. Aichernig and Zhang Naixiao},
title = {Coalgebraic Component Specification and Verification in RSL},
journal ={Parallel and Distributed Computing Applications and Technologies, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2405-2},
pages = {424-426},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.100},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing Applications and Technologies, International Conference on
TI - Coalgebraic Component Specification and Verification in RSL
SN - 0-7695-2405-2
SP424
EP426
A1 - Sun Meng,
A1 - Bernhard K. Aichernig,
A1 - Zhang Naixiao,
PY - 2005
KW - renunciation ; group decision-makin
KW - non-structural system
VL - 0
JA - Parallel and Distributed Computing Applications and Technologies, International Conference on
ER -
 
Sun Meng, National University of Singapore
Bernhard K. Aichernig, United Nations University
Zhang Naixiao, Peking University
Research on non-structural system group decision-making problems largely depends on the knowledge and experience of the experts for tactical analysis. The usual method of voting may result in a great loss of information in case of much renunciation, and the accuracy of voting can therefore be directly influenced.This paper proposes a new solution to non-structural system group decision-making problems by taking advantage of the characteristics of correlate and the information easy to lose to make an overall analysis of the ayes, blackballs and renunciation polls for an accurate result.
Index Terms:
renunciation ; group decision-makin, non-structural system
Citation:
Sun Meng, Bernhard K. Aichernig, Zhang Naixiao, "Coalgebraic Component Specification and Verification in RSL," pdcat, pp.424-426, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.