3082 search results - page 427 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— Channel estimation and synchronization are crucial problems in coherent Ultra wideband (UWB) systems. We develop a new channel estimation scheme that can further improv...
187
click to vote
WSC
2007
15 years 8 months ago
2007
In this paper, we propose a new asymmetric cryptographic algorithm (HOOD CRYPT) based on the Elliptical Curve Cryptographic approach. The algorithm describes how an orthogonal fre...
176
click to vote
CSDA
2006
15 years 6 months ago
2006
The assessment of the influence of individual observations on the outcome of the analysis by perturbation has received a lot of attention for situations in which the observations ...
195
click to vote
ATVA
2004
Springer
15 years 11 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...