3224 search results - page 227 / 645 » Abstract Error Projection |
189
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The so-called receiver multiuser diversity aided multistage minimum mean-square error multiuser detector (RMD/MS-MMSE MUD), which was proposed previously by the author,...
202
click to vote
SERP
2010
15 years 4 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
241
click to vote
TCSV
2010
15 years 1 months ago
2010
Abstract--Multiple description coding offers interesting solutions for error resilient multimedia communications as well as for distributed streaming applications. In this letter, ...
301
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
150
click to vote
IHM
2003
ACM
16 years 1 days ago
2003
ACM
This paper discusses how model-based approaches can support designers and developers to address a number of challenges raised by universal usability, such as the possibility of ob...