5334 search results - page 451 / 1067 » Communicating quantum processes |
172
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
242
Voted
ICW
2005
IEEE
16 years 13 days ago
2005
IEEE
— Ad hoc and wireless sensor networks have recently emerged as successful technologies in a number of application domains. The need to build security services into them remains h...
191
Voted
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
— We propose a new scheme for content distribution of large files that is based on network coding. With network coding, each node of the distribution network is able to generate...
159
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
— This paper addresses the topology control problem for large wireless networks that are modelled by an infinite point process on a two-dimensional plane. Topology control is th...
164
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
—This paper presents NetViewer, a network measurement approach that can simultaneously detect, identify and visualize attacks and anomalous traffic in real-time by passively moni...