Sciweavers

5692 search results - page 4 / 1139
» Challenges and Unsolved Problems
Sort
View
SIGMOD
2005
ACM
117views Database» more  SIGMOD 2005»
14 years 6 months ago
Relational data mapping in MIQIS
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
George H. L. Fletcher, Catharine M. Wyss
SAT
2007
Springer
121views Hardware» more  SAT 2007»
14 years 25 days ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...
FGCN
2008
IEEE
155views Communications» more  FGCN 2008»
14 years 1 months ago
A Reliable Robust Fully Ad Hoc Data Dissemination Mechanism for Vehicular Networks
Many applications in vehicular networks need the data to be disseminated from a source vehicle to a large number of vehicles in the network. Although many solutions to this proble...
Kaveh Shafiee, Victor C. M. Leung
CPAIOR
2008
Springer
13 years 8 months ago
Efficient Haplotype Inference with Combined CP and OR Techniques
Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...
Ana Graça, João Marques-Silva, In&ec...
SECON
2008
IEEE
14 years 1 months ago
A Three-Tier Framework for Intruder Information Sharing in Sensor Networks
—In sensor networks, an intruder (i.e., compromised node) identified and isolated in one place can be relocated and/or duplicated to other places to continue attacks; hence, det...
Bin Tong, Santosh Panchapakesan, Wensheng Zhang