1362 search results - page 150 / 273 » Model Checking Large Network Protocol Implementations |
166
click to vote
VCIP
2003
15 years 7 months ago
2003
This paper describes how the handling of visual media objects is implemented in the visual information retrieval project VizIR. Essentially, four areas are concerned: media access...
202
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
141
click to vote
ISCAS
2007
IEEE
16 years 20 days ago
2007
IEEE
— Many application-specific wireless sensor network (WSN) systems require small size and low power features due to their limited resources, and their use in distributed, wireles...
162
click to vote
MMNS
2007
15 years 7 months ago
2007
In this paper, we show the feasibility of real-time flow monitoring with controllable accuracy in today’s IP networks. Our approach is based on Netflow and A-GAP. A-GAP is a prot...
187
click to vote
CIBCB
2007
IEEE
16 years 22 days ago
2007
IEEE
The susceptible, infected, removed model for epidemics assumes that the population in which the epidemic takes place is well mixed. This strong assumption can be relaxed by permit...