1362 search results - page 150 / 273 » Model Checking Large Network Protocol Implementations |
124
Voted
VCIP
2003
15 years 4 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...
155
Voted
IPPS
2008
IEEE
15 years 9 months 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...
100
Voted
ISCAS
2007
IEEE
15 years 9 months 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...
128
Voted
MMNS
2007
15 years 4 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...
129
click to vote
CIBCB
2007
IEEE
15 years 9 months 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...