3235 search results - page 211 / 647 » Partial Redundant Modeling |
127
Voted
TCOM
2010
15 years 3 months ago
2010
—We propose weakly-constrained stream and block codes with tunable pattern-dependent statistics and demonstrate that the block code capacity at large block sizes is close to the ...
148
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we consider the problem of high accuracy localization of mobile nodes in a multipath-rich environment where sub-meter accuracies are required. We employ a peer to pee...
182
Voted
ICUMT
2009
15 years 2 months ago
2009
In WSN-based surveillance systems power conservation is an important issue but one must also ensure that the application's objectives are met. In this paper, we jointly addres...
144
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
147
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...