10907 search results - page 1760 / 2182 » Constraint Based Strategies |
221
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
169
click to vote
JNW
2008
15 years 6 months ago
2008
Research on data routing strategies for wireless sensor networks (WSNs) has largely focused on energy efficiency. However rapid advances in WSNs require routing protocols which can...
196
click to vote
JSAC
2008
15 years 6 months ago
2008
Abstract-- In this paper, we examine the uplink of a cooperative CDMA network, where users cooperate by relaying each other's messages to the base station. When spreading wave...
196
click to vote
DKE
2007
15 years 6 months ago
2007
We develop a new algorithm for clustering search results. Differently from many other clustering systems that have been recently proposed as a post-processing step for Web search ...
209
click to vote
JCS
2006
15 years 6 months ago
2006
In recent years, the threats and damages caused by active worms have become more and more serious. In order to reduce the loss caused by fastspreading active worms, an effective de...