6031 search results - page 405 / 1207 » Communicating Transaction Processes |
174
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Due to adverse aqueous environments, non-negligible node mobility and large network scale, localization for large-scale mobile underwater sensor networks is very challenging. In...
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Parallel computation of the adaptive lattice filtering algorithm is difficult due to the dependency problem caused by feedback operations. The conventional control-level paralle...
155
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
—In this paper we present a methodology for detecting traffic anomalies. To accomplish that, and as a demarcation from similar works, we combine multi-scale and multi-criteria an...
224
click to vote
CSFW
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
191
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
We investigate the problem of routing connections with QoS requirements across one or more networks, when the information available for making routing decisions is inaccurate and ...