5831 search results - page 972 / 1167 » Distributed Dynamic Backtracking |
127
click to vote
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
A new scalable optical network infrastructure SMART is proposed based on light-trails and hypernetwork architecture. The underlying physical network of SMART is a reconfigurable WD...
108
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
107
click to vote
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
We consider a stochastic variant of the NP-hard 0/1 knapsack problem in which item values are deterministic and item sizes are independent random variables with known, arbitrary d...
109
click to vote
DBISP2P
2006
Springer
15 years 3 months ago
2006
Springer
The processing of k-NN queries has been studied extensively both in a centralized computing environment and in a structured P2P environment. However, the problem over an unstructur...
117
click to vote
DEXAW
2006
IEEE
15 years 3 months ago
2006
IEEE
The current ever-growing evolution of mobile technologies suggests the possibility of accessing services, in an itinerant and ubiquitous way, through many kinds of mobile devices ...