Sciweavers

8496 search results - page 1241 / 1700
» Problem Solving and Complex Systems
Sort
View
TACAS
2007
Springer
144views Algorithms» more  TACAS 2007»
16 years 29 days ago
Detecting Races in Ensembles of Message Sequence Charts
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
Edith Elkind, Blaise Genest, Doron Peled
ICPPW
2006
IEEE
16 years 26 days ago
Parallel Hyperspectral Image Processing on Commodity Graphics Hardware
Many recent research efforts have been devoted to the use of commodity hardware for solving computationallyintensive scientific problems. Among such problems, hyperspectral imagi...
Javier Setoain, Christian Tenllado, Manuel Prieto,...
WEBDB
2005
Springer
151views Database» more  WEBDB 2005»
16 years 9 days ago
Constructing Maintainable Semantic Mappings in XQuery
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
Gang Qian, Yisheng Dong
CARDIS
2004
Springer
126views Hardware» more  CARDIS 2004»
16 years 7 days ago
Anonymous Services using Smart Cards and Cryptography
More and more services provided by Internet pose a problem of privacy and anonymity. One cryptographic tool that could be used for solving this problem is the group signature [1, 5...
Sébastien Canard, Jacques Traoré
WEBI
2004
Springer
16 years 5 days ago
TSSP: A Reinforcement Algorithm to Find Related Papers
Content analysis and citation analysis are two common methods in recommending system. Compared with content analysis, citation analysis can discover more implicitly related papers...
Shen Huang, Gui-Rong Xue, Benyu Zhang, Zheng Chen,...
« Prev « First page 1241 / 1700 Last » Next »