1629 search results - page 234 / 326 » Infeasible Code Detection |
104
click to vote
ESSOS
2010
Springer
15 years 10 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
104
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
116
click to vote
IWCMC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...
120
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper we derive and propose constrained blind DS-CDMA UWB multiuser detection algorithm to suppress the multi access interference (MAI) in multipath channels, and studie...