2801 search results - page 203 / 561 » On the Adequateness of the Connection Method |
154
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
162
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
In recent years peer-to-peer (P2P) technology has been adopted by Internet-based malware as a fault tolerant and scalable communication medium for self-organization and survival. I...
192
click to vote
ITNG
2008
IEEE
16 years 28 days ago
2008
IEEE
With recent advances in wireless communication and position technologies, it became possible to collect and record trajectories of moving objects. Thus, many services in road netw...
170
click to vote
ICDIM
2007
IEEE
16 years 26 days ago
2007
IEEE
The large and growing number of computing devices used by individuals has caused the challenges of distributed storage to take on increased importance. In addition to desktops and...
165
click to vote
BROADNETS
2006
IEEE
16 years 18 days ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...