Sciweavers

2740 search results - page 275 / 548
» On the importance and challenges of FOSD
Sort
View
CCS
2009
ACM
16 years 1 months ago
Computational soundness for key exchange protocols with symmetric encryption
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
Ralf Küsters, Max Tuengerthal
PAKDD
2009
ACM
112views Data Mining» more  PAKDD 2009»
16 years 1 months ago
Romanization of Thai Proper Names Based on Popularity of Usages
The lack of standards for Romanization of Thai proper names makes searching activity a challenging task. This is particularly important when searching for people-related documents ...
Akegapon Tangverapong, Atiwong Suchato, Proadpran ...
CRV
2009
IEEE
217views Robotics» more  CRV 2009»
16 years 1 months ago
Probabilistic 3D Tracking: Rollator Users' Leg Pose from Coronal Images
Understanding the human gait is an important objective towards improving elderly mobility. In turn, gait analyses largely depend on kinematic and dynamic measurements. While the m...
Samantha Ng, Adel H. Fakih, Adam Fourney, Pascal P...
CSE
2009
IEEE
16 years 1 months ago
The Formation of Task-Oriented Groups: Exploring Combat Activities in Online Games
— Advanced communication technologies enable strangers to work together on the same tasks or projects in virtual environments. Understanding the formation of taskoriented groups ...
Yun Huang, Mengxiao Zhu, Jing Wang, Nishith Pathak...
DATE
2009
IEEE
104views Hardware» more  DATE 2009»
16 years 1 months ago
Programming MPSoC platforms: Road works ahead!
Abstract—This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. The current trend towards MPSoC platforms in most com...
Rainer Leupers, Andras Vajda, Marco Bekooij, Soonh...