974 search results - page 140 / 195 » Formal Modeling of Communication Traces |
108
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—As mobile phones increasingly become the target of propagating malware, their use of direct pair-wise communication mechanisms, such as Bluetooth and WiFi, pose considerable cha...
104
click to vote
SAC
2000
ACM
15 years 3 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
ICNP
2007
IEEE
15 years 5 months ago
2007
IEEE
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—In this paper, we study the theory of collaborative upload bandwidth measurement in peer-to-peer environments. A host can use a bandwidth estimation probe to determine the bandw...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...