2518 search results - page 132 / 504 » Using Communication Objects During Requirements Analysis |
181
click to vote
PRDC
2007
IEEE
16 years 19 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...
170
Voted
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
Voted
VTC
2006
IEEE
16 years 11 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
Voted
AICCSA
2008
IEEE
16 years 26 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...