773 search results - page 119 / 155 » On Cryptographic Assumptions and Challenges |
125
click to vote
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
111
click to vote
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
116
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Underwater communication is a challenging topic due to its singular channel characteristics. Most protocols used in terrestrial wireless communication can not be directly applied i...
139
click to vote
3DPVT
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present a new algorithm for reconstructing an environment from images recorded by multiple calibrated cameras. Multiple camera systems challenge traditional ster...
104
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...