2930 search results - page 263 / 586 » A Constructive Approach to the Design of Distributed Systems |
182
Voted
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
186
click to vote
JUCS
2006
15 years 6 months ago
2006
: Individuals vary in survival chances due to differences in genetics, environmental exposures, and gene-environment interactions. These chances, as well as the contribution of eac...
177
click to vote
SIAMCO
2010
15 years 1 months ago
2010
This work is concerned with identification of Hammerstein systems whose outputs are measured by quantized sensors. The system consists of a memoryless nonlinearity that is polynomi...
168
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
174
Voted
LOCA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...