2518 search results - page 132 / 504 » Using Communication Objects During Requirements Analysis |
181
click to vote
PRDC
2007
IEEE
16 years 18 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
169
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In an acoustic sensor network, consisting of spatially distributed microphone nodes, a significant noise reduction can be achieved using the centralized multi-channel Wiener fil...
175
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper develops a mesh network protection scheme that guarantees a quantifiable minimum grade of service upon a failure within a network. The scheme guarantees that a fract...
122
click to vote
VTC
2006
IEEE
16 years 10 days ago
2006
IEEE
— We propose an Intersection Warning Channel Access Priority (IWCAP) protocol to warn drivers of a possible collision when approaching an intersection. Our protocol operates via ...
173
click to vote
AICCSA
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...