2282 search results - page 345 / 457 » Active property checking |
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Reducing the number of secondary data used to estimate the Clutter Covariance Matrix (CCM) for Space Time Adaptive Processing (STAP) techniques is still an active research topic. ...
LCN
2008
IEEE
14 years 4 months ago
2008
IEEE
—A wide range of Internet-based services that use reliable transport protocols display what we call thin-stream properties. This means that the application sends data with such a...
WCRE
2008
IEEE
14 years 4 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...