382 search results - page 47 / 77 » Rule-based static analysis of network protocol implementatio... |
145
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
119
click to vote
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
117
click to vote
IPSN
2009
Springer
15 years 8 months ago
2009
Springer
We consider a scenario in which there are resources at or near nodes of a network, which are either static (e.g. fire stations, parking spots) or mobile (e.g. police cars). Over ...
131
click to vote
USS
2010
14 years 11 months ago
2010
Wireless networks are being integrated into the modern automobile. The security and privacy implications of such in-car networks, however, are not well understood as their transmi...
112
click to vote
IJSNET
2007
15 years 1 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...