Sciweavers

50808 search results - page 10061 / 10162
» A New
Sort
View
JCIT
2010
184views more  JCIT 2010»
15 years 19 days ago
A Cell Projection Algorithm Based on Feature Region Segmentation and Cells Sorting
Because of the complexity of the human structure, and the irregularity of the human tissues, and the discrepancy of human individuality, segmenting and rendering 3D medical data f...
Li Xinwu
JCST
2010
198views more  JCST 2010»
15 years 19 days ago
Certification of Thread Context Switching
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
Yu Guo, Xinyu Jiang, Yiyun Chen
JDCTA
2010
187views more  JDCTA 2010»
15 years 19 days ago
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
Bo Meng, Wei Huang, Zimao Li, Dejun Wang
JDCTA
2010
131views more  JDCTA 2010»
15 years 19 days ago
Segmentation for Eyed Typhoon Cloud Image by Curvature and Fractal Feature
An efficient method to segment eyed typhoon from a satellite cloud image is proposed. First, original satellite cloud image is enhanced by gray transform. Second, in order to redu...
Changjiang Zhang, Xiang Zhang, Bo Yang, Ying Li
JIPS
2010
389views more  JIPS 2010»
15 years 19 days ago
The Wormhole Routing Attack in Wireless Sensor Networks (WSN)
Secure routing is vital to the acceptance and use of Wireless Sensor Networks (WSN) for many applications. However, providing secure routing in WSNs is a challenging task due to th...
Lukman Sharif, Munir Ahmed
« Prev « First page 10061 / 10162 Last » Next »