7988 search results - page 1124 / 1598 » A Useful Undecidable Theory |
183
click to vote
COMCOM
2006
15 years 7 months ago
2006
Deploying IP telephony or voice over IP (VoIP) is a major and challenging task for data network researchers and designers. This paper outlines guidelines and a step-by-step method...
197
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We consider a hybrid wireless sensor network with regular and transmit-only sensors. The transmit-only sensors do not have receiver circuit, hence are cheaper and less energy consu...
163
click to vote
ETT
2006
15 years 7 months ago
2006
Abstract-- The outage behaviour of the single cell DSCDMA uplink is investigated for flat Rayleigh fading channels. Goal of the work is to find an analytical way for the optimisati...
193
click to vote
FUIN
2006
15 years 7 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
236
click to vote
FUIN
2006
15 years 7 months ago
2006
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...