9702 search results - page 322 / 1941 » Communicating Mobile Processes |
201
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
146
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
200
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we describe a new approach to cope with packet loss in speech coders. The idea is to split the information present in each speech packet into two components, one to...
152
click to vote
CUZA
2002
15 years 6 months ago
2002
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...
167
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose a reduced-complexity genetic algorithm for secure and dynamic deployment of resource constrained multi-hop mobile sensor networks. Mobility and security are relative...