5374 search results - page 786 / 1075 » The induction of communication protocols |
201
click to vote
IJISEC
2008
15 years 7 months ago
2008
We study the multicast stream authentication problem when an opponent can drop, reorder and introduce data packets into the communication channel. In such a model, packet overhead...
206
click to vote
IJPP
2008
15 years 7 months ago
2008
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...
194
click to vote
KI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we describe a time management approach to distributed agent-based simulation. We propose a new time management policy by joining optimistic synchronization techniques...
181
click to vote
IJDE
2007
15 years 7 months ago
2007
The widely acknowledged problem of reliably identifying the origin of network data has been the subject of many research works. Due to the nature of Internet Protocol, a source IP...
230
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...